Canonical extensions and relational completeness of some substructural logics (Q5718685): Difference between revisions

@@ Property / cites work @@
+A Kripke semantics for the logic of Gelfand quantales
+Normal rank
@@ Property / cites work @@
+Kripke semantics for modal substructural logics
@@ Property / cites work: Kripke semantics for modal substructural logics / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / 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 @@
+Constructive canonicity in non-classical logics
@@ Property / cites work: Constructive canonicity in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Softness of hypercoherences and MALL full completeness
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics in multiplicative-additive linear logic
+Normal rank