T-norm-based logics with an independent involutive negation

DOI10.1016/j.fss.2006.06.016zbMath1114.03015MaRDI 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 logics; standard completeness; left-continuous t-norms; involutive negations; predicate calculi

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B50: Many-valued logic

Related Items

Proof theory for locally finite many-valued logics: semi-projective logics, First-order satisfiability in Gödel logics: an NP-complete fragment, Possibilistic conditioning framed in fuzzy logics, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Commutative integral bounded residuated lattices with an added involution, Simple characterization of strict residuated lattices with an involutive negation, Fuzzy logics with an additional involutive negation, On the representation of fuzzy rules, Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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