4152 results in Numerical analysis and computational science
ONTOLOGICAL PURITY FOR FORMAL PROOFS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 13 November 2023, pp. 395-434
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NON-FACTIVE KOLMOGOROV CONDITIONALIZATION
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 31 October 2023, pp. 1-27
-
- Article
- Export citation
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 October 2023, pp. 1-27
-
- Article
- Export citation
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 September 2023, pp. 1-26
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 28 September 2023, pp. 154-177
- Print publication:
- March 2024
-
- Article
- Export citation
RSL volume 16 issue 3 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 25 August 2023, pp. b1-b2
- Print publication:
- September 2023
-
- Article
-
- You have access
- Export citation
RSL volume 16 issue 3 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 25 August 2023, pp. f1-f4
- Print publication:
- September 2023
-
- Article
-
- You have access
- Export citation
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 24 July 2023, pp. 1-37
-
- Article
- Export citation
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 24 July 2023, pp. 1-32
-
- Article
- Export citation
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-22
-
- Article
- Export citation
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 July 2023, pp. 1-27
-
- Article
- Export citation
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 July 2023, pp. 1-16
-
- Article
- Export citation
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 July 2023, pp. 1-40
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 30 June 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-18
-
- Article
- Export citation
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 27 June 2023, pp. 1-27
-
- Article
- Export citation
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 23 June 2023, pp. 1-14
-
- Article
- Export citation
UNPRINCIPLED
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 13 June 2023, pp. 435-474
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIRST-ORDER FRIENDLINESS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 June 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 05 June 2023, pp. 1-22
-
- Article
-
- You have access
- Open access
- HTML
- Export citation