85 results in 03AXX
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
CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 22 February 2024, pp. 116

 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
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 17 / Issue 3 / September 2024
 Published online by Cambridge University Press:
 24 July 2023, pp. 878909
 Print publication:
 September 2024

 Article

 You have access
 HTML
 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. 122

 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
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. 435474
 Print publication:
 June 2024

 Article

 You have access
 Open 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