Strong non-standard completeness for fuzzy logics (Q2466757): 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-007-0184-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1994369562
@@ Property / OpenAlex ID: W1994369562 / rank @@
+Normal rank
@@ Property / cites work @@
+Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
+Normal rank
@@ Property / cites work @@
+Q4944950
@@ Property / cites work: Q4944950 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+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 @@
+On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about the probability of fuzzy events
+Normal rank
@@ Property / cites work @@
+A logical and algebraic treatment of conditional probability
+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 @@
+On the failure of standard completeness in \(\Pi\)MTL for infinite theories
+Normal rank
@@ Property / cites work @@
+Product Łukasiewicz logic
@@ Property / cites work: Product Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Conditional probability on MV-algebras
@@ Property / cites work: Conditional probability on MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Every state on semisimple MV-algebra is integral
@@ Property / cites work: Every state on semisimple MV-algebra is integral / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Adding structure to MV-algebras
@@ Property / cites work: Adding structure to MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On Weakly Cancellative Fuzzy Logics
@@ Property / cites work: On Weakly Cancellative Fuzzy Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Averaging the truth-value in Łukasiewicz logic
@@ Property / cites work: Averaging the truth-value in Łukasiewicz logic / 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 @@
+Q4870980
@@ Property / cites work: Q4870980 / rank @@
+Normal rank