Residuated logics based on strict triangular norms with an involutive negation

DOI10.1002/MALQ.200510032MaRDI QIDQ5485400zbMATH OpenOpenAlexFDO

Authors Erich Peter Klement, Mirko Navara, Petr Cintula, Radko Mesiar

Publication date 30 August 2006

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510032

zbMATH Keywords

BL-algebrafuzzy logicHamacher productinvolutive negationtriangular normvariety

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Recommendations

• Residuated fuzzy logics with an involutive negation
• A survey on different triangular norm-based fuzzy logics
• Fuzzy logics with an additional involutive negation
• Sufficient triangular norms in many-valued logics with standard negation
• scientific article; zbMATH DE number 2059951

Cites work

• scientific article; zbMATH DE number 3870293 (Why is no real title available?)
• scientific article; zbMATH DE number 578191 (Why is no real title available?)
• scientific article; zbMATH DE number 907050 (Why is no real title available?)
• k–ORDER ADDITIVE FUZZY MEASURES
• Metamathematics of fuzzy logic
• Weakly implicative (fuzzy) logics. I: Basic properties

Cited in

(17)

• Commutative integral bounded residuated lattices with an added involution
• A new axiomatization for involutive monoidal t-norm-based logic
• \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?
• Adjoint negations, more than residuated negations
• Continuous weakly cancellative triangular subnorms. I: Their web-geometric properties
• Simple characterization of strict residuated lattices with an involutive negation
• Residuated fuzzy logics with an involutive negation
• Fuzzy sets and formal logics
• Implication operators generating pairs of weak negations and their algebraic structure
• Fuzzy logics with an additional involutive negation
• A small set of axioms for residuated logic
• Algebraic structures related to nilpotent minimum algebras and rough sets
• Distinguishing standard SBL-algebras with involutive negations by propositional formulas
• scientific article; zbMATH DE number 2059951 (Why is no real title available?)
• The coextension of commutative pomonoids and its application to triangular norms
• Associativity of triangular norms characterized by the geometry of their level sets
• T-norm-based logics with an independent involutive negation

This page was built for publication: Residuated logics based on strict triangular norms with an involutive negation

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