Craig interpolation for semilinear substructural logics (Q3144874): 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.201200004
+Normal rank
@@ Property / OpenAlex ID @@
+W2085725211
@@ Property / OpenAlex ID: W2085725211 / rank @@
+Normal rank
@@ Property / cites work @@
+On an implication connective of RM
@@ Property / cites work: On an implication connective of RM / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in fuzzy logic
@@ Property / cites work: Interpolation in fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of R-mingle
@@ Property / cites work: Fragments of R-mingle / rank @@
+Normal rank
@@ Property / cites work @@
+Logical matrices and the amalgamation property
@@ Property / cites work: Logical matrices and the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+A category equivalence for odd Sugihara monoids and its applications
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
+Normal rank
@@ Property / cites work @@
+Amalgamation through quantifier elimination for varieties of commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Q5406034
@@ Property / cites work: Q5406034 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
+Normal rank
@@ Property / cites work @@
+The subvariety lattice for representable idempotent commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Positive Sugihara monoids
@@ Property / cites work: Positive Sugihara monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation, congruence-extension, and interpolation properties in algebras
+Normal rank
@@ Property / cites work @@
+Representable idempotent commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Failure of interpolation in relevant logics
@@ Property / cites work: Failure of interpolation in relevant logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3144874