8 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
- 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
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
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 07 June 2022, pp. 1310-1320
- Print publication:
- September 2023
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO INQUISITIVE AND
$\mathtt {DNA}$-LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 December 2021, pp. 950-990
- Print publication:
- December 2022
-
- Article
- Export citation
WEIHRAUCH GOES BROUWERIAN
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1614-1653
- Print publication:
- December 2020
-
- Article
- Export citation
REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 105 / Issue 1 / August 2018
- Published online by Cambridge University Press:
- 04 December 2017, pp. 57-78
- Print publication:
- August 2018
-
- Article
-
- You have access
- Export citation
The Nachibin quasi-uniformity of a bi-Stonian space
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 61 / Issue 3 / December 1996
- Published online by Cambridge University Press:
- 09 April 2009, pp. 322-326
- Print publication:
- December 1996
-
- Article
-
- You have access
- Export citation