Normal forms and free algebras for some extensions of MTL

DOI10.1016/j.fss.2007.12.003zbMath1179.03027MaRDI QIDQ835114

Brunella Gerla, Stefano Aguzzoli

Publication date: 28 August 2009

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

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

zbMATH Keywords

normal forms; algebraic semantics; free algebras; Gödel logic; nilpotent minimum logic; MTL; WNM

Mathematics Subject Classification ID

03G25: Other algebras related to logic

03B50: Many-valued logic

08B20: Free algebras

Related Items

Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic), Probability measures in the logic of nilpotent minimum, On some questions concerning the axiomatisation of WNM-algebras and their subvarieties, Free weak nilpotent minimum algebras, Lewis dichotomies in many-valued logics

Cites Work

• Unnamed Item
• A fuzzy logic for an ordinal sum t-norm
• Normal forms for fuzzy logics: a proof-theoretic approach
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Interpolation in fuzzy logic
• A characterization of truth-functions in the nilpotent minimum logic
• Computing coproducts of finitely presented Gödel algebras
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Hoops and Fuzzy Logic
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Free nilpotent minimum algebras
• Free L-algebras
• A note on functions associated with Gödel formulas