scientific article; zbMATH DE number 3968648
From MaRDI portal
Publication:3735758
Recommendations
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- scientific article; zbMATH DE number 1374605
- Varieties of monadic Heyting algebras. II: Duality theory
- Dual categories for endodualisable Heyting algebras: optimization and axiomatization
- Functor category dualities for varieties of Heyting algebras
Cited in
(67)- Around provability logic
- Heyting algebras with dual pseudocomplementation
- Two sequences of locally tabular superintuitionistic logics
- Varieties of monadic Heyting algebras. II: Duality theory
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- A coalgebraic view of Heyting duality
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- A semantic hierarchy for intuitionistic logic
- Grothendieck-like duality for Heyting algebras.
- Duality between modal algebras and neighbourhood frames
- Pro-finite MV-spaces
- Functor category dualities for varieties of Heyting algebras
- MacNeille transferability and stable classes of Heyting algebras
- Hyper-MacNeille completions of Heyting algebras
- Epimorphism surjectivity in varieties of Heyting algebras
- Epimorphisms in varieties of subidempotent residuated structures
- Profiniteness and representability of spectra of Heyting algebras
- When is the frame of nuclei spatial: a new approach
- Difference hierarchies and duality with an application to formal languages
- A strict implication calculus for compact Hausdorff spaces
- An algebraic approach to subframe logics. Intuitionistic case
- Epimorphisms in varieties of residuated structures
- Lattice subordinations and Priestley duality.
- Hochschild homology, Frobenius homomorphism and Mac Lane homology
- Topo-canonical completions of closure algebras and Heyting algebras
- Diego's theorem for nuclear implicative semilattices
- Hilbert algebras with Hilbert-Galois connections
- The algebraic counterpart of a symbolic logic of problem solving
- A construction of Heyting algebra on categorical syllogisms
- Free and projective bimodal symmetric Gödel algebras
- Heyting algebra and Gödel algebra vs. various topological systems and Esakia space: a category theoretic study
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Funayama's theorem revisited
- scientific article; zbMATH DE number 1048045 (Why is no real title available?)
- scientific article; zbMATH DE number 2075248 (Why is no real title available?)
- Frontal operators in weak Heyting algebras
- Reconstructing an open order from its closure, with applications to space-time physics and to logic
- Not every splitting Heyting or interior algebra is finitely presentable
- Foreword to the special issue dedicated to the memory of Leo Esakia
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Diagrammatic duality
- Krull dimension in modal logic
- A new constant in superintuitionistic logic L3
- Singly generated quasivarieties and residuated structures
- Canonical extensions, Esakia spaces, and universal models
- Esakia duality and its extensions
- Connected modal logics
- Topological completeness of logics above \(\mathbf{S4}\)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- Intuitionistic logic and modality via topology
- The small index property of the Fraïssé limit of finite Heyting algebras
- McKinsey-Tarski algebras: an alternative pointfree approach to topology
- Approximate positional analysis of fuzzy social networks
- Positive modal logic beyond distributivity
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- An algebraic approach to canonical formulas: modal case
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- The category of topological spaces and open maps does not have products
- Epimorphisms between finitely generated algebras
- New constants in two pretabular superintuitionistic logics
- A model theory of topology
- On some compatible operations on Heyting algebras
- Profinite completions and canonical extensions of Heyting algebras
- Profinite Heyting algebras
- Scattered and hereditarily irresolvable spaces in modal logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3735758)
