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

@@ Property / DOI @@
-.1007/s11787-018-0195-6
@@ Property / DOI: 10.1007/s11787-018-0195-6 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-018-0195-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2884665404
@@ Property / OpenAlex ID: W2884665404 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q129501595
@@ Property / Wikidata QID: Q129501595 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11787-018-0195-6
@@ Property / DOI: 10.1007/S11787-018-0195-6 / rank @@
+Normal rank