Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235): 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.1007/s00500-008-0382-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1966849599
@@ Property / OpenAlex ID: W1966849599 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity issues in Basic Logic
@@ Property / cites work: Complexity issues in Basic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of t-tautologies
@@ Property / cites work: Complexity of t-tautologies / rank @@
+Normal rank
@@ Property / cites work @@
+On a class of left-continuous \(\text t\)-norms
@@ Property / cites work: On a class of left-continuous \(\text t\)-norms / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
+Normal rank
@@ Property / cites work @@
+Q4450449
@@ Property / cites work: Q4450449 / rank @@
+Normal rank
@@ Property / cites work @@
+On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+On expansions of WNM t-norm based logics with truth-constants
+Normal rank
@@ Property / cites work @@
+Contrapositive symmetry of fuzzy implications
@@ Property / cites work: Contrapositive symmetry of fuzzy implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4465174
@@ Property / cites work: Q4465174 / rank @@
+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 @@
+Observations on the monoidal t-norm logic
@@ Property / cites work: Observations on the monoidal t-norm logic / rank @@
+Normal rank
@@ Property / cites work @@
+Basic fuzzy logic and BL-algebras. II
@@ Property / cites work: Basic fuzzy logic and BL-algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+A general method for constructing left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+\(R _{0}\) implication: Characteristics and applications
+Normal rank
@@ Property / cites work @@
+On equivalent forms of fuzzy logic systems NM and IMTL
+Normal rank
@@ Property / cites work @@
+Q3336431
@@ Property / cites work: Q3336431 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of truth-functions in the nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
+Normal rank