Short note: on the redundancy of axiom (A3) in BL and MTL

DOI10.1007/s00500-004-0445-9zbMath1093.03011OpenAlexW2000519410WikidataQ114018149 ScholiaQ114018149MaRDI QIDQ816860

Petr Cintula

Publication date: 2 March 2006

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-004-0445-9

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ On the independence of axioms in BL and MTL ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ Fuzzy logics with an additional involutive negation ⋮ A note on minimal axiomatisations of some extensions of MTL

Cites Work

• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms