A note on minimal axiomatisations of some extensions of MTL

DOI10.1016/j.fss.2013.09.012zbMath1315.03034MaRDI QIDQ2350487

Brunella Gerla, A. R. Ferraioli, Stefano Aguzzoli

Publication date: 24 June 2015

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.09.012

zbMATH Keywords

Łukasiewicz logic; MTL; minimal axiomatisation; rotation of product t-norm

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

06D35: MV-algebras

03B50: Many-valued logic

Related Items

On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

Cites Work

• Unnamed Item
• Short note: on the redundancy of axiom (A3) in BL and MTL
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A new axiomatization for involutive monoidal t-norm-based logic
• On the structure of rotation-invariant semigroups
• A proof of standard completeness for Esteva and Godo's logic MTL
• A general method for constructing left-continuous t-norms
• Algebraic foundations of many-valued reasoning
• Observations on the monoidal t-norm logic
• Short single axioms for Boolean algebra
• Computing Minimal Axiomatizations in Godel Propositional Logic
• The Dependence of an Axiom of Lukasiewicz
• Proof of an Axiom of Lukasiewicz
• Varieties of MV-algebras
• Independence of the axiomatic system for MV-algebras
• About axiomatic systems of product fuzzy logic