The finite model property for semilinear substructural logics (Q2856632): 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.1002/malq.201200032
+Normal rank
@@ Property / OpenAlex ID @@
+W1927766982
@@ Property / OpenAlex ID: W1927766982 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2856632