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

DOI10.1016/J.FSS.2014.07.007MaRDI QIDQ1697331zbMATHOpenAlexWikidataFDO

Authors Stefano Aguzzoli, Matteo Bianchi

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

many-valued logicst-normsMTL-algebrasnilpotent minimumaxiomatisation of varietiesweak nilpotent minimum

Mathematics Subject Classification ID

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

Recommendations

• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• On the variety of Gödel MV-algebras
• On linear varieties of MTL-algebras
• On expansions of WNM t-norm based logics with truth-constants
• Pseudo NM-algebras and their properties

Cites work

• scientific article; zbMATH DE number 5295430 (Why is no real title available?)
• scientific article; zbMATH DE number 3700829 (Why is no real title available?)
• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• A Note on Drastic Product Logic
• A fuzzy logic for an ordinal sum t-norm
• A fuzzy logic for the revised drastic product t-norm.
• A new axiomatization for involutive monoidal t-norm-based logic
• A note on minimal axiomatisations of some extensions of MTL
• 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
• A propositional calculus with denumerable matrix
• A temporal semantics for nilpotent minimum logic
• Algebraizable logics
• Basic hoops: an algebraic study of continuous t-norms
• Canonicity in subvarieties of BL-algebras
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Finite RDP-algebras: duality, coproducts and logic
• First-order nilpotent minimum logics: first steps
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Gödel algebras free over finite distributive lattices
• Handbook of mathematical fuzzy logic. Volume 2
• Hoops and Fuzzy Logic
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Normal forms and free algebras for some extensions of MTL
• On n ‐contractive fuzzy logics
• On expansions of WNM t-norm based logics with truth-constants
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Probability measures in the logic of nilpotent minimum
• Simplification of axiom systems of fuzzy logics NM and \(L^*\)
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Standard completeness for extensions of MTL: an automated approach
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Triangular norms
• Varieties of BL-algebras. I: General properties.

Cited in

(5)

• On expansions of WNM t-norm based logics with truth-constants
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Free weak nilpotent minimum algebras
• scientific article; zbMATH DE number 3851086 (Why is no real title available?)
• Editorial

Describes a project that uses

Uses Software

• AxiomCalc

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1697331)