A note on minimal axiomatisations of some extensions of MTL
From MaRDI portal
Publication:2350487
DOI10.1016/J.FSS.2013.09.012zbMATH Open1315.03034OpenAlexW2034238131MaRDI QIDQ2350487FDOQ2350487
Authors: Stefano Aguzzoli, A. R. Ferraioli, Brunella Gerla 
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
Recommendations
- Minimally many-valued extensions of the monoidal t-norm based logic MTL
- About axiomatic systems of product fuzzy logic
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
- On the independence of axioms in BL and MTL
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the structure of rotation-invariant semigroups
- A general method for constructing left-continuous t-norms
- Observations on the monoidal t-norm logic
- Title not available (Why is that?)
- Short single axioms for Boolean algebra
- Independence of the axiomatic system for MV-algebras.
- Varieties of MV-algebras
- Short note: on the redundancy of axiom (A3) in BL and MTL
- About axiomatic systems of product fuzzy logic
- Proof of an Axiom of Lukasiewicz
- A new axiomatization for involutive monoidal t-norm-based logic
- Computing Minimal Axiomatizations in Godel Propositional Logic
- The Dependence of an Axiom of Lukasiewicz
Cited In (3)
This page was built for publication: A note on minimal axiomatisations of some extensions of MTL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2350487)
