Strong non-standard completeness for fuzzy logics
From MaRDI portal
Publication:2466757
DOI10.1007/s00500-007-0184-9zbMath1132.03332OpenAlexW1994369562MaRDI QIDQ2466757
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
Related Items
Generalized Bosbach states. I ⋮ Generalized Bosbach states. II ⋮ On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief ⋮ An elementary belief function logic ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ MV-algebras with internal states and probabilistic fuzzy logics ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate 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 ⋮ How to Restore Compactness into Probabilistic Logics? ⋮ Q-filters of quantum B-algebras and basic implication algebras ⋮ Some New Probability Operators ⋮ Applications of Logics About Simple Probabilities
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
