Strong non-standard completeness for fuzzy logics

DOI10.1007/s00500-007-0184-9zbMath1132.03332MaRDI QIDQ2466757

Tommaso Flaminio

Publication date: 16 January 2008

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-007-0184-9

zbMATH Keywords

conditional probability; fuzzy events; ultraproduct construction; nonstandard completeness

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03H05: Nonstandard models in mathematics

Related Items

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm, MV-algebras with internal states and probabilistic fuzzy logics, Abelian \(\ell\)-groups with strong unit and perfect MV-algebras, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Triangular norm based predicate fuzzy logics, How to Restore Compactness into Probabilistic Logics?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Product Łukasiewicz logic
• Conditional probability on MV-algebras
• Every state on semisimple MV-algebra is integral
• On the failure of standard completeness in \(\Pi\)MTL for infinite theories
• A logic for reasoning about the probability of fuzzy events
• NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• A logical and algebraic treatment of conditional probability
• Standard completeness theorem for \(\Pi\)MTL
• Averaging the truth-value in Łukasiewicz logic
• Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
• On Weakly Cancellative Fuzzy Logics
• Algebraizable logics
• On Fuzzy Logic I Many‐valued rules of inference
• Logics in Artificial Intelligence
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Adding structure to MV-algebras