T-norm-based logics with an independent involutive negation (Q869112): 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.1016/j.fss.2006.06.016
+Normal rank
@@ Property / OpenAlex ID @@
+W1993433997
@@ Property / OpenAlex ID: W1993433997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+On triangular norm-based propositional fuzzy logics
+Normal rank
@@ Property / cites work @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+Fuzzy logics with an additional involutive negation
+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 @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+Normal rank
@@ Property / cites work @@
+Residuated fuzzy logics with an involutive negation
+Normal rank
@@ Property / cites work @@
+The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4458224
@@ Property / cites work: Q4458224 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completeness theorem for \(\Pi\)MTL
@@ Property / cites work: Standard completeness theorem for \(\Pi\)MTL / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
+Normal rank
@@ Property / cites work @@
+Q4266493
@@ Property / cites work: Q4266493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610396
@@ Property / cites work: Q5610396 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852177
@@ Property / cites work: Q3852177 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:869112