219 results in 03BXX
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 27 April 2022, pp. 244-271
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 20 April 2022, pp. 1576-1605
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 18 April 2022, pp. 1199-1232
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON THE UNCOUNTABILITY OF ${\mathbb R}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 07 April 2022, pp. 1474-1521
- Print publication:
- December 2022
-
- Article
- Export citation
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 07 April 2022, pp. 475-492
- Print publication:
- June 2024
-
- Article
- Export citation
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 17 March 2022, pp. 1469-1496
- Print publication:
- December 2023
-
- Article
- Export citation
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 31 March 2022, pp. 133-149
- Print publication:
- March 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 23 February 2022, pp. 1296-1311
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
$\mathrm {KF}$ , $\mathrm {PKF}$ , AND REINHARDT’S PROGRAM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 February 2022, pp. 33-58
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PLURAL ANCESTRAL LOGIC AS THE LOGIC OF ARITHMETIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 07 February 2022, pp. 305-342
- Print publication:
- June 2024
-
- Article
- Export citation
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 04 February 2022, pp. 995-1022
- Print publication:
- September 2022
-
- Article
- Export citation
MEREOLOGICAL BIMODAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 27 January 2022, pp. 823-858
- Print publication:
- December 2022
-
- Article
- Export citation
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 27 January 2022, pp. 1177-1198
- Print publication:
- December 2023
-
- Article
- Export citation
EPSILON THEOREMS IN INTERMEDIATE LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 10 January 2022, pp. 682-720
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 10 January 2022, pp. 381-417
- Print publication:
- March 2023
-
- Article
- Export citation
MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 03 January 2022, pp. 277-310
- Print publication:
- June 2022
-
- Article
- Export citation
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 06 December 2021, pp. 813-861
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 03 December 2021, pp. 700-739
- Print publication:
- September 2023
-
- Article
- Export citation
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 427-467
- Print publication:
- March 2023
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO INQUISITIVE AND $\mathtt {DNA}$-LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 December 2021, pp. 950-990
- Print publication:
- December 2022
-
- Article
- Export citation