Easkia Duality and Its Extensions (Q5255792): Difference between revisions

@@ Property / cites work @@
+The Frattini sublattice of a distributive lattice
@@ Property / cites work: The Frattini sublattice of a distributive lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal subalgebras of Heyting algebras
@@ Property / cites work: Maximal subalgebras of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Propositional Calculus I
@@ Property / cites work: Basic Propositional Calculus I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
+Normal rank
@@ Property / cites work @@
+Bitopological duality for distributive lattices and Heyting algebras
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Modal case
+Normal rank
@@ Property / cites work @@
+Esakia style duality for implicative semilattices
@@ Property / cites work: Esakia style duality for implicative semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley style duality for distributive meet-semilattices
+Normal rank
@@ Property / cites work @@
+Generalized Priestley quasi-orders
@@ Property / cites work: Generalized Priestley quasi-orders / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
+Normal rank
@@ Property / cites work @@
+Representation of Hilbert algebras and implicative semilattices
+Normal rank
@@ Property / cites work @@
+<i>n</i>‐linear weakly Heyting algebras
@@ Property / cites work: <i>n</i>‐linear weakly Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A closer look at some subintuitionistic logics
@@ Property / cites work: A closer look at some subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattices with strict implication
+Normal rank
@@ Property / cites work @@
+Q3140367
@@ Property / cites work: Q3140367 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Priestley duality for distributive lattices
+Normal rank
@@ Property / cites work @@
+Q4111635
@@ Property / cites work: Q4111635 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic view of Heyting duality
@@ Property / cites work: A coalgebraic view of Heyting duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Logics Which Are Characterized by Subresiduated Lattices
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in Partially Ordered Sets
@@ Property / cites work: Ideals in Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Extensions, Esakia Spaces, and Universal Models
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4399900
@@ Property / cites work: Q4399900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259695
@@ Property / cites work: Q3259695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality for some subalgebra lattices
@@ Property / cites work: Priestley duality for some subalgebra lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5270289
@@ Property / cites work: Q5270289 / rank @@
+Normal rank
@@ Property / cites work @@
+The subalgebra lattice of a Heyting algebra
@@ Property / cites work: The subalgebra lattice of a Heyting algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Prime Ideal Structure in Commutative Rings
@@ Property / cites work: Prime Ideal Structure in Commutative Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics with the same disjunctionless fragment as intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q5518341
@@ Property / cites work: Q5518341 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive lattices with an operator
@@ Property / cites work: Distributive lattices with an operator / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+Stone lattices: a topological approach
@@ Property / cites work: Stone lattices: a topological approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and duality in modal logic
@@ Property / cites work: Topology and duality in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Quasiorders and sublattices of distributive lattices
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949092
@@ Property / cites work: Q3949092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329516
@@ Property / cites work: Q3329516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3289859
@@ Property / cites work: Q3289859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340837
@@ Property / cites work: Q3340837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783273
@@ Property / cites work: Q3783273 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank