The finite model property for semilinear substructural logics (Q2856632): Difference between revisions

@@ Property / Wikidata QID @@
+Q59306550
@@ Property / Wikidata QID: Q59306550 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+The finite model property for BCI and related systems
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Uninorm logic with the \(n\)-potency axiom
@@ Property / cites work: Uninorm logic with the \(n\)-potency axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Involutive uninorm logic with the \(n\)-potency axiom
+Normal rank
@@ Property / cites work @@
+Logics for residuated pseudo-uninorms and their residua
+Normal rank
@@ Property / cites work @@
+Logics with disjunction and proof by cases
@@ Property / cites work: Logics with disjunction and proof by cases / rank @@
+Normal rank
@@ Property / cites work @@
+On an axiomatic system for the logic of linearly ordered BCI-matrices
+Normal rank
@@ Property / cites work @@
+HpsUL is not the logic of pseudo-uninorms and their residua
+Normal rank