\(\bigstar\)-autonomous lattices (Q1780899): Difference between revisions

@@ Property / cites work @@
+Q4893735
@@ Property / cites work: Q4893735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039742
@@ Property / cites work: Q4039742 / 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 @@
+Some Properties of Linear Logic Proved by Semantic Methods
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+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 @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
+Normal rank
@@ Property / cites work @@
+Minimal varieties of residuated lattices
@@ Property / cites work: Minimal varieties of residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218120
@@ Property / cites work: Q3218120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of linear, relevance, and fuzzy logics
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+A really fuzzy approach to the sorites paradox
@@ Property / cites work: A really fuzzy approach to the sorites paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022820
@@ Property / cites work: Q4022820 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank