Pages that link to "Item:Q1722781"
From MaRDI portal
The following pages link to Heyting algebras. Duality theory. Translated from the Russian by A. Evseev (Q1722781):
Displayed 25 items.
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Hofmann-Mislove through the lenses of Priestley (Q2099147) (← links)
- Adjoint maps between implicative semilattices and continuity of localic maps (Q2120440) (← links)
- Nuclear ranges in implicative semilattices (Q2131292) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Bitopological duality for algebras of Fitting's logic and natural duality extension (Q2231653) (← links)
- Bounded distributive lattices with two subordinations (Q2658281) (← links)
- The frame of nuclei on an Alexandroff space (Q2663169) (← links)
- B-frame duality (Q2689804) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- CHOICE-FREE STONE DUALITY (Q5107222) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- A frame-theoretic perspective on Esakia duality (Q6076967) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Lattices of Intermediate Theories via Ruitenburg's Theorem (Q6337923) (← links)