On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
type: Item
instance of: scholarly article
title: On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
zbMATH Open document ID: 1388.03064
author: Stefano Aguzzoli
author: Matteo Bianchi
published in: Fuzzy Sets and Systems
publication date: 2018-02-19T00:00:00Z
review text: The authors extend MTL-algebras by a one-variable axiom. They refer to its equivalent algebraic semantics as the variety of GHP-algebras, those algebras will be shown to form the largest variety of MTL-algebras such that the falsum-free reducts of the positive cones of their chains are the most general totally ordered Gödel hoops. Also, they obtain a general description of GHP standard algebras, and use the latter to characterise those extensions of WNM-algebras that can be obtained from GHP-algebras via the same set of extended axioms.
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 6840664
zbMATH Keywords: many-valued logics
zbMATH Keywords: MTL-algebras
zbMATH Keywords: weak nilpotent minimum
zbMATH Keywords: nilpotent minimum
zbMATH Keywords: t-norms
zbMATH Keywords: axiomatisation of varieties
reviewed by: A. Borumand Saeid
describes a project that uses: AxiomCalc
MaRDI profile type: Publication
full work available at URL: j.fss.2014.07.007
OpenAlex ID: W2053003057
Wikidata QID: Q59321698
cites work: Basic hoops: an algebraic study of continuous t-norms
cites work: Varieties of BL-algebras. I: General properties.
cites work: A Note on Drastic Product Logic
cites work: Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
cites work: A note on minimal axiomatisations of some extensions of MTL
cites work: Normal forms and free algebras for some extensions of MTL
cites work: Probability measures in the logic of nilpotent minimum
cites work: Symbolic and Quantitative Approaches to Reasoning with Uncertainty
cites work: Gödel algebras free over finite distributive lattices
cites work: Standard Completeness for Extensions of MTL: An Automated Approach
cites work: First-order nilpotent minimum logics: first steps
cites work: A temporal semantics for nilpotent minimum logic
cites work: Algebraizable logics
cites work: The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
cites work: Finite RDP-algebras: duality, coproducts and logic
cites work: Canonicity in subvarieties of BL-algebras
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Handbook of mathematical fuzzy logic. Volume 2
cites work: A propositional calculus with denumerable matrix
cites work: Q3893927
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Hoops and Fuzzy Logic
cites work: Q3508715
cites work: First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
cites work: Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
cites work: On expansions of WNM t-norm based logics with truth-constants
cites work: Q4465174
cites work: A new axiomatization for involutive monoidal t-norm-based logic
cites work: Metamathematics of fuzzy logic
cites work: On n ‐contractive fuzzy logics
cites work: A note on the ordinal sum theorem and its consequence for the construction of triangular norms
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Triangular norms
cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
cites work: On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
cites work: A fuzzy logic for the revised drastic product t-norm.
cites work: A fuzzy logic for an ordinal sum t-norm
cites work: Simplification of axiom systems of fuzzy logics NM and \(L^*\)
DOI: 10.1016/J.FSS.2014.07.007
description: scientific article; zbMATH DE number 6840664