76 results
NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 03 September 2024, pp. 1-33
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 3 / September 2024
- Published online by Cambridge University Press:
- 13 September 2024, pp. 635-653
- Print publication:
- September 2024
-
- Article
-
- You have access
- HTML
- Export citation
FINITARY UPPER LOGICISM
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 31 May 2024, pp. 1-76
-
- Article
-
- You have access
- HTML
- Export citation
THE TEMPORAL CONTINUUM
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 April 2024, pp. 1-19
-
- Article
-
- You have access
- HTML
- Export citation
WAND/SET THEORIES: A REALIZATION OF CONWAY’S MATHEMATICIANS’ LIBERATION MOVEMENT, WITH AN APPLICATION TO CHURCH’S SET THEORY WITH A UNIVERSAL SET
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 25 March 2024, pp. 1-40
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON QUANTIFICATION AND EXTENSIONALITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 25 March 2024, pp. 343-365
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 19 January 2024, pp. 41-91
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
BEYOND LINGUISTIC INTERPRETATION IN THEORY COMPARISON
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 3 / September 2024
- Published online by Cambridge University Press:
- 21 December 2023, pp. 819-859
- Print publication:
- September 2024
-
- Article
-
- You have access
- HTML
- Export citation
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
-
- You have access
- HTML
- Export citation
INTERLEAVING LOGIC AND COUNTING
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 26 July 2023, pp. 503-587
- Print publication:
- December 2023
-
- Article
-
- You have access
- HTML
- Export citation
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 3 / September 2024
- Published online by Cambridge University Press:
- 30 June 2023, pp. 762-792
- Print publication:
- September 2024
-
- 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 / Volume 17 / Issue 3 / September 2024
- Published online by Cambridge University Press:
- 29 June 2023, pp. 860-877
- Print publication:
- September 2024
-
- Article
-
- You have access
- HTML
- 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
-
- You have access
- HTML
- Export citation
VARIETIES OF CLASS-THEORETIC POTENTIALISM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 22 May 2023, pp. 272-304
- Print publication:
- March 2024
-
- Article
-
- You have access
- HTML
- Export citation
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 25 April 2023, pp. 546-585
- Print publication:
- June 2024
-
- Article
-
- You have access
- HTML
- Export citation
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 09 March 2023, pp. 406-452
- Print publication:
- September 2023
-
- Article
-
- You have access
- HTML
- Export citation
AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 27 February 2023, pp. 493-508
- Print publication:
- June 2024
-
- Article
-
- You have access
- HTML
- Export citation
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 23 January 2023, pp. 19-70
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
NATURAL KIND SEMANTICS FOR A CLASSICAL ESSENTIALIST THEORY OF KINDS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 05 December 2022, pp. 509-545
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation