17 results in 03-XX
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
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 April 2023, pp. 264-293
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 10 February 2023, pp. 465-502
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open 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
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 07 July 2022, pp. 351-368
- Print publication:
- June 2023
-
- Article
-
- You have access
- HTML
- Export citation
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1374-1395
- Print publication:
- December 2022
-
- Article
- Export citation
THE GENEALOGY OF ‘$\mathbin {\boldsymbol {\vee }}$’
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 03 January 2022, pp. 862-899
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 650-654
- Print publication:
- June 2023
-
- Article
-
- You have access
- HTML
- Export citation
KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 267-297
- Print publication:
- September 2021
-
- Article
- Export citation
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 22 February 2021, pp. 624-667
- Print publication:
- September 2022
-
- Article
- Export citation
GÖDEL ON MANY-VALUED LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 22 February 2021, pp. 655-671
- Print publication:
- September 2023
-
- Article
-
- You have access
- Export citation
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 113-167
- Print publication:
- June 2021
-
- Article
- Export citation
THE POTENTIAL IN FREGE’S THEOREM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 25 August 2020, pp. 553-577
- Print publication:
- June 2023
-
- Article
-
- You have access
- Export citation
LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 411-446
- Print publication:
- June 2021
-
- Article
- Export citation
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 25 June 2020, pp. 1-21
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1011-1029
- Print publication:
- December 2021
-
- Article
- Export citation
DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 02 September 2019, pp. 197-224
- Print publication:
- March 2022
-
- Article
- Export citation