Short note: on the redundancy of axiom (A3) in BL and MTL (Q816860): Difference between revisions

@@ Property / DOI @@
-.1007/s00500-004-0445-9
@@ Property / DOI: 10.1007/s00500-004-0445-9 / rank @@
-Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00500-004-0445-9
@@ Property / DOI: 10.1007/S00500-004-0445-9 / rank @@
+Normal rank