Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Propositional Logics Related to Heyting's and Johansson's | Theoria |
| 65 | 1968 |
MacNeille completions of lattice expansions | Algebra universalis |
| 17 | 2007 |
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ | Journal of Applied Non-Classical Logics | 20 | 2006 | |
The preservation of Sahlqvist equations in completions of Boolean algebras with operators | Algebra universalis |
| 17 | 1999 |
10.1017/S0956796898002998 | 1998 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Cardinality Reduction Theorem for Logics QHC and QH4 | Algebra and Logic |
| 2023 | |
Deriving Dualities in Pointfree Topology from Priestley Duality | Applied Categorical Structures |
| 2023 | |
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics | Studia Logica |
| 2023 | |
A Fundamental Non-Classical Logic | Logics |
| 2 | 2023 |
Topological Models of Propositional Logic of Problems and Propositions | Moscow University Mathematics Bulletin |
| 2022 |