Short note: on the redundancy of axiom (A3) in BL and MTL
From MaRDI portal
Publication:816860
DOI10.1007/s00500-004-0445-9zbMath1093.03011WikidataQ114018149 ScholiaQ114018149MaRDI QIDQ816860
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
03B52: Fuzzy logic; logic of vagueness
Related Items
EQ-logics: non-commutative fuzzy logics based on fuzzy equality, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, On the independence of axioms in BL and MTL, Fuzzy logics with an additional involutive negation, A note on minimal axiomatisations of some extensions of MTL
Cites Work