18 results
2 - Technical Preliminaries
-
- Book:
- The Road to Paradox
- Published online:
- 17 October 2024
- Print publication:
- 31 October 2024, pp 13-24
-
- Chapter
- Export citation
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 01 April 2024, pp. 253-278
- 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. 1-16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Material dialogues for first-order logic in constructive type theory: extended version
-
- Journal:
- Mathematical Structures in Computer Science / Volume 34 / Issue 7 / August 2024
- Published online by Cambridge University Press:
- 03 November 2023, pp. 689-709
-
- Article
-
- You have access
- Open 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. 1-22
-
- Article
-
- You have access
- HTML
- Export citation
The first-order theory of binary overlap-free words is decidable
- Part of
-
- Journal:
- Canadian Journal of Mathematics / Volume 76 / Issue 4 / August 2024
- Published online by Cambridge University Press:
- 26 May 2023, pp. 1144-1162
- Print publication:
- August 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 December 2022, pp. 579-619
- Print publication:
- June 2023
-
- Article
-
- You have access
- HTML
- 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
Classical First-Order Logic
-
- Published online:
- 26 April 2022
- Print publication:
- 19 May 2022
-
- Element
- Export citation
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 23 March 2021, pp. 334-361
- Print publication:
- June 2022
-
- Article
- Export citation
THE FLUTED FRAGMENT REVISITED
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 06 June 2019, pp. 1020-1048
- Print publication:
- September 2019
-
- Article
- Export citation
1 - Concepts and Problems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 11-38
-
- Chapter
- Export citation
CAPTURING CONSEQUENCE
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 04 March 2019, pp. 271-295
- Print publication:
- June 2019
-
- Article
- Export citation
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 291-305
- Print publication:
- September 2018
-
- Article
- Export citation
GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 672-708
- Print publication:
- June 2017
-
- Article
- Export citation
EXISTENTIAL-IMPORT MATHEMATICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 09 April 2015, pp. 1-14
- Print publication:
- March 2015
-
- Article
- Export citation
A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 341-358
- Print publication:
- March 2015
-
- Article
- Export citation