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. 133

 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. 635653
 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. 176

 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. 119

 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. 140

 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. 343365
 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. 4191
 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. 819859
 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. 395434
 Print publication:
 June 2024

 Article

 You have access
 Open access
 HTML
 Export citation
NONFACTIVE KOLMOGOROV CONDITIONALIZATION
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 31 October 2023, pp. 127

 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. 503587
 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. 762792
 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. 860877
 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. 127

 Article

 You have access
 HTML
 Export citation
VARIETIES OF CLASSTHEORETIC 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. 272304
 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. 546585
 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. 406452
 Print publication:
 September 2023

 Article

 You have access
 HTML
 Export citation
AXIOMS FOR TYPEFREE 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. 493508
 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. 1970
 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. 509545
 Print publication:
 June 2024

 Article

 You have access
 Open access
 HTML
 Export citation