Normal forms and free algebras for some extensions of MTL

DOI10.1016/j.fss.2007.12.003zbMath1179.03027OpenAlexW2022150134MaRDI 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 formsalgebraic semanticsfree algebrasGödel logicnilpotent minimum logicMTLWNM

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50) Free algebras (08B20)

Related Items (6)

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

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

This page was built for publication: Normal forms and free algebras for some extensions of MTL