Canonical extensions and relational completeness of some substructural logics (Q5718685): 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.2178/jsl/1122038911
+Normal rank
@@ Property / OpenAlex ID @@
+W1972417425
@@ Property / OpenAlex ID: W1972417425 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5718685