Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978): Difference between revisions

@@ 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/s10992-016-9417-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2559154662
@@ Property / OpenAlex ID: W2559154662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551606
@@ Property / cites work: Q4551606 / 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 @@
+A fresh perspective on canonical extensions for bounded lattices.
+Normal rank
@@ Property / cites work @@
+TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
+Normal rank
@@ Property / cites work @@
+Q2715517
@@ Property / cites work: Q2715517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in the context of gaggle theory
@@ Property / cites work: Negation in the context of gaggle theory / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Minimal varieties of residuated lattices
@@ Property / cites work: Minimal varieties of residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219051
@@ Property / cites work: Q4219051 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751048
@@ Property / cites work: Q2751048 / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for lattice-ordered algebras and for normal algebraizable logics
+Normal rank
@@ Property / cites work @@
+Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
+Normal rank
@@ Property / cites work @@
+Modal and temporal extensions of non-distributive propositional 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 @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694214
@@ Property / cites work: Q4694214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4026931
@@ Property / cites work: Q4026931 / rank @@
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Q3632245
@@ Property / cites work: Q3632245 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Q2904066
@@ Property / cites work: Q2904066 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of tense logics
@@ Property / cites work: Semantic analysis of tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank