T-norm-based logics with an independent involutive negation

DOI10.1016/j.fss.2006.06.016zbMath1114.03015OpenAlexW1993433997MaRDI QIDQ869112

Tommaso Flaminio, Enrico Marchioni

Publication date: 26 February 2007

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2006.06.016

zbMATH Keywords

many-valued logicsstandard completenessleft-continuous t-normsinvolutive negationspredicate calculi

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items

Possibilistic conditioning framed in fuzzy logics ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ FFNSL: Feed-forward neural-symbolic learner ⋮ Simple characterization of strict residuated lattices with an involutive negation ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ Fuzzy sets and formal logics ⋮ Fuzzy logics with an additional involutive negation ⋮ On the representation of fuzzy rules ⋮ Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Commutative integral bounded residuated lattices with an added involution

Cites Work

• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• 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
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Standard completeness theorem for \(\Pi\)MTL
• On triangular norm-based propositional fuzzy logics
• Residuated fuzzy logics with an involutive negation
• Fuzzy logics with an additional involutive negation
• Weakly implicative (fuzzy) logics. I: Basic properties
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item