T-norm-based logics with an independent involutive negation

DOI10.1016/J.FSS.2006.06.016zbMATH Open1114.03015OpenAlexW1993433997MaRDI QIDQ869112FDOQ869112

Authors 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

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

Recommendations

• Involutive monoidalt-norm based logic andR0 logic
• A new axiomatization for involutive monoidal t-norm-based logic
• Residuated logics based on strict triangular norms with an involutive negation
• Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
• scientific article; zbMATH DE number 7687781
• scientific article; zbMATH DE number 4091465
• Decidability of Cancellative Extension of Monoidal T-norm Based Logic

Cites work

• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3652332 (Why is no real title available?)
• scientific article; zbMATH DE number 1346445 (Why is no real title available?)
• scientific article; zbMATH DE number 2059951 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 3331563 (Why is no real title available?)
• A proof of standard completeness for Esteva and Godo's logic MTL
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Fuzzy logics with an additional involutive negation
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• On triangular norm-based propositional fuzzy logics
• Residuated fuzzy logics with an involutive negation
• Standard completeness theorem for \(\Pi\)MTL
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Weakly implicative (fuzzy) logics. I: Basic properties

Cited in

(17)

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

This page was built for publication: T-norm-based logics with an independent involutive negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q869112)