Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052): Difference between revisions

@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke semantics for the Lambek-Grishin calculus
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
+Normal rank
@@ Property / cites work @@
+A fresh perspective on canonical extensions for bounded lattices.
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for lattice-ordered algebras and for normal algebraizable logics
+Normal rank
@@ Property / cites work @@
+First-order frames for orthomodular quantum logic
@@ Property / cites work: First-order frames for orthomodular quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal and temporal extensions of non-distributive propositional logics
+Normal rank
@@ Property / cites work @@
+Order-dual relational semantics for non-distributive propositional logics
+Normal rank
@@ Property / cites work @@
+Order-dual relational semantics for non-distributive propositional logics: a general framework
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation of lattices
@@ Property / cites work: A topological representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886948
@@ Property / cites work: Q4886948 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank