Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042): Difference between revisions

@@ Property / cites work @@
+Fuzzy logics as the logics of chains
@@ Property / cites work: Fuzzy logics as the logics of chains / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
+Normal rank
@@ Property / cites work @@
+The Quest for the Basic Fuzzy Logic
@@ Property / cites work: The Quest for the Basic Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Q5406035
@@ Property / cites work: Q5406035 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Which structural rules admit cut elimination? An algebraic criterion
+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 @@
+Aggregation operators and fuzzy systems modeling
@@ Property / cites work: Aggregation operators and fuzzy systems modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Uninorm aggregation operators
@@ Property / cites work: Uninorm aggregation operators / rank @@
+Normal rank