4 results
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 14 November 2022, pp. 342-382
- Print publication:
- March 2024
-
- 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
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 23 April 2019, pp. 483-502
- Print publication:
- September 2020
-
- Article
- Export citation
Canonical rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1205
- Print publication:
- December 2009
-
- Article
- Export citation