A note on minimal axiomatisations of some extensions of MTL
From MaRDI portal
Publication:2350487
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
Related Items
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