31 results
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 09 January 2024, pp. 1-19
-
- Article
-
- You have access
- HTML
- Export citation
FIRST-ORDER HOMOTOPICAL LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-63
-
- Article
-
- You have access
- HTML
- Export citation
An intuitionistic set-theoretical model of fully dependent CC $^{\boldsymbol\omega}$
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 17 April 2023, pp. 1-32
-
- Article
-
- You have access
- HTML
- Export citation
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1-59
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Investigations into intuitionistic and other negations
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 16 January 2023, p. 532
- Print publication:
- December 2022
-
- Article
-
- You have access
- Export citation
Classical First-Order Logic
-
- Published online:
- 26 April 2022
- Print publication:
- 19 May 2022
-
- Element
- 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
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
-
- You have access
- HTML
- Export citation
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 164-187
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
New Directions in Duality Theory for Modal Logic
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 527
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
IMPROVING STRONG NEGATION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 951-977
- Print publication:
- September 2023
-
- Article
-
- You have access
- HTML
- Export citation
WHAT IS A RULE OF INFERENCE?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 21 December 2020, pp. 307-346
- Print publication:
- June 2021
-
- Article
- Export citation
Mathematical Intuitionism
-
- Published online:
- 22 October 2020
- Print publication:
- 12 November 2020
-
- Element
- Export citation
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 22 October 2020, pp. 433-447
- Print publication:
- June 2021
-
- Article
- Export citation
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1-38
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE ${\text{\Sigma }}_1 $-PROVABILITY LOGIC OF $HA^{\text{*}} $
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 12 July 2019, pp. 1118-1135
- Print publication:
- September 2019
-
- Article
- Export citation
A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 11 June 2019, pp. 439-451
- Print publication:
- June 2019
-
- Article
- Export citation
ALGEBRAIC NEW FOUNDATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 05 February 2019, pp. 798-832
- Print publication:
- June 2019
-
- Article
- Export citation
SUBSTRUCTURAL INQUISITIVE LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 01 February 2019, pp. 296-330
- Print publication:
- June 2019
-
- Article
- Export citation
COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 27 September 2018, pp. 507-518
- Print publication:
- September 2018
-
- Article
- Export citation