Normal forms and free algebras for some extensions of MTL
From MaRDI portal
Publication:835114
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
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
