9 results
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 26 July 2023, pp. 311-353
- Print publication:
- September 2023
-
- Article
- 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. 406-452
- Print publication:
- September 2023
-
- Article
- Export citation
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 July 2022, pp. 1138-1169
- Print publication:
- September 2023
-
- 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
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
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 11 June 2021, pp. 1124-1153
- Print publication:
- September 2021
-
- Article
-
- You have access
- HTML
- Export citation
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 19 April 2021, pp. 693-721
- Print publication:
- September 2022
-
- Article
- Export citation
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 07 January 2021, pp. 437-497
- Print publication:
- June 2022
-
- Article
- Export citation
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 08 January 2021, pp. 1342-1375
- Print publication:
- December 2020
-
- Article
- Export citation