Theorems of Alternatives for Substructural Logics (Q5020165): Difference between revisions

@@ Property / cites work @@
+On an implication connective of RM
@@ Property / cites work: On an implication connective of RM / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Densification of FL chains via residuated frames
@@ Property / cites work: Densification of FL chains via residuated frames / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3475268
@@ Property / cites work: Q3475268 / rank @@
+Normal rank
@@ Property / cites work @@
+Density elimination
@@ Property / cites work: Density elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory and ordered groups
@@ Property / cites work: Proof theory and ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844775
@@ Property / cites work: Q3844775 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+Densification via polynomials, languages, and frames
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and coherence
@@ Property / cites work: Uniform interpolation and coherence / rank @@
+Normal rank
@@ Property / cites work @@
+Craig interpolation for semilinear substructural logics
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in ordered algebras.
+Normal rank
@@ Property / cites work @@
+Sequent and hypersequent calculi for abelian and łukasiewicz logics
+Normal rank
@@ Property / cites work @@
+Density revisited
@@ Property / cites work: Density revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469090
@@ Property / cites work: Q3469090 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and compact congruences
@@ Property / cites work: Uniform interpolation and compact congruences / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank