On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

DOI10.1016/j.fss.2014.07.007zbMath1388.03064OpenAlexW2053003057WikidataQ59321698 ScholiaQ59321698MaRDI QIDQ1697331

Matteo Bianchi, Stefano Aguzzoli

Publication date: 19 February 2018

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

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

zbMATH Keywords

t-normsmany-valued logicsMTL-algebrasnilpotent minimumaxiomatisation of varietiesweak nilpotent minimum

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Varieties of lattices (06B20)

Related Items (2)

Free weak nilpotent minimum algebras ⋮ Editorial

Uses Software

• AxiomCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A fuzzy logic for an ordinal sum t-norm
• Normal forms and free algebras for some extensions of MTL
• A fuzzy logic for the revised drastic product t-norm.
• Gödel algebras free over finite distributive lattices
• Probability measures in the logic of nilpotent minimum
• Canonicity in subvarieties of BL-algebras
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A new axiomatization for involutive monoidal t-norm-based logic
• Triangular norms
• A note on the ordinal sum theorem and its consequence for the construction of triangular norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Varieties of BL-algebras. I: General properties.
• On expansions of WNM t-norm based logics with truth-constants
• A note on minimal axiomatisations of some extensions of MTL
• A temporal semantics for nilpotent minimum logic
• First-order nilpotent minimum logics: first steps
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Basic hoops: an algebraic study of continuous t-norms
• Finite RDP-algebras: duality, coproducts and logic
• Standard Completeness for Extensions of MTL: An Automated Approach
• A propositional calculus with denumerable matrix
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Algebraizable logics
• Hoops and Fuzzy Logic
• A Note on Drastic Product Logic
• On n ‐contractive fuzzy logics
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: On some questions concerning the axiomatisation of WNM-algebras and their subvarieties