A note on minimal axiomatisations of some extensions of MTL

DOI10.1016/J.FSS.2013.09.012MaRDI QIDQ2350487zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

MTLminimal axiomatisationrotation of product t-normŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35)

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

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

Cited in

(3)

• About axiomatic systems of product fuzzy logic
• On the independence of axioms in BL and MTL
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

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)