Single chain completeness and some related properties

DOI10.1016/j.fss.2016.03.008zbMath1378.03024DBLPjournals/fss/AguzzoliB16OpenAlexW2311297154WikidataQ59321693 ScholiaQ59321693MaRDI QIDQ679807

Matteo Bianchi, Stefano Aguzzoli

Publication date: 22 January 2018

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

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

zbMATH Keywords

substructural logicsmany-valued logicsmonoidal t-norm based logicHalldén completenesssingle chain completenessvariable separation properties

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items (5)

On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Free weak nilpotent minimum algebras ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ On linear varieties of MTL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(n\)-contractive BL-logics
• Completeness with respect to a chain and universal models in fuzzy logic
• Generating the variety of BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• The disjunction property of intermediate propositional logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Varieties of BL-algebras. I: General properties.
• On the structure of hoops
• First-order nilpotent minimum logics: first steps
• A propositional calculus with denumerable matrix
• On Weakly Cancellative Fuzzy Logics
• Algebraizable logics
• Hoops and Fuzzy Logic
• A Note on Drastic Product Logic

This page was built for publication: Single chain completeness and some related properties