213 results in 03BXX
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 03 October 2022, pp. 1-29
-
- Article
- Export citation
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 August 2022, pp. 1-23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 August 2022, pp. 664-696
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 13 July 2022, pp. 1120-1157
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 1-35
- Print publication:
- March 2024
-
- Article
- Export citation
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 308-330
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open 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
- Export citation
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 14 June 2022, pp. 620-639
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 09 June 2022, pp. 451-465
- Print publication:
- September 2022
-
- Article
- Export citation
On Logics and Semantics for Interpretability
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 28 June 2022, p. 265
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
Paraconsistent Logic Programming in Three and Four-Valued Logics
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 28 June 2022, p. 260
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 28 June 2022, pp. 264-265
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 30 May 2022, pp. 1070-1093
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AN ESCAPE FROM VARDANYAN’S THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 13 May 2022, pp. 1613-1638
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PROOF SYSTEMS FOR EXACT ENTAILMENT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 11 May 2022, pp. 1260-1295
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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 , First View
- Published online by Cambridge University Press:
- 07 April 2022, pp. 1-18
-
- Article
- Export citation