The following pages link to Leo Esakia (Q454369):
Displaying 50 items.
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- List of publications (Q454404) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- (Q750473) (redirect page) (← links)
- Nelson algebras through Heyting ones. I (Q750474) (← links)
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- Functors between categories of three-valued Lukasiewicz-Moisil algebras. I (Q795041) (← links)
- Closure properties for relational systems with given endomorphism structure (Q798687) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Around provability logic (Q1035652) (← links)
- Principal congruences of tetravalent modal algebras (Q1059074) (← links)
- Mal'tsev conditions and representability of varieties (Q1064334) (← links)
- Lattice of Mal'tsev theories (Q1073064) (← links)
- Iterated discriminator varieties have undecidable theories (Q1076050) (← links)
- A note on Dilworth's theorem in the infinite case (Q1093655) (← links)
- Theory of Boolean algebras with a locally finite group of automorphisms (Q1095879) (← links)
- Heyting* algebras, topological Boolean algebras and P.O. systems (Q1102308) (← links)
- Finite equational bases for subalgebra distributive varieties (Q1102311) (← links)
- A characterization of primitive Boolean algebras (Q1179768) (← links)
- The theory of commuting subalgebras of complete Heyting algebras (Q1273837) (← links)
- Subdirectly irreducible modal algebras and initial frames (Q1288966) (← links)
- The lattice theory of \(r\)-ordered partitions (Q1297483) (← links)
- An inequality for the sizes of prime filters of finite distributive lattices (Q1301731) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Partitions of large Boolean lattices (Q1332423) (← links)
- Characterizing equivalential and algebraizable logics by the Leibniz operator (Q1357379) (← links)
- Embeddings of finite distributive lattices into products of chains (Q1375909) (← links)
- Equations in the theory of \(Q\)-distributive lattices (Q1377757) (← links)
- On the algebraizability of annotated logics (Q1378429) (← links)
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev (Q1722781) (← links)
- Remarks and problems on a lattice of equational chapters (Q1821134) (← links)
- Skew Boolean algebras and discriminator varieties (Q1891275) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Iterating conditionals and symmetric Stone algebras (Q1910539) (← links)
- Finitely generated relatively universal varieties of Heyting algebras (Q1913876) (← links)
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I (Q1970594) (← links)
- Algebraic Kripke sheaf semantics for non-classical predicate logics (Q1970921) (← links)
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II (Q1975160) (← links)
- Scattered toposes (Q1977486) (← links)
- Chang's modal operators in algebraic logic (Q2266713) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- Magari and \(\Delta\)-pseudo-Boolean algebras (Q2640631) (← links)
- (Q2751820) (← links)
- (Q3001093) (← links)
- Spectral and T 0-Spaces in d-Semantics (Q3019967) (← links)
- A Modal Transcription of the Hausdorff Residue (Q3019969) (← links)
- (Q3344180) (← links)
- (Q3352997) (← links)
