Single chain completeness and some related properties

DOI10.1016/J.FSS.2016.03.008MaRDI QIDQ679807zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Stefano Aguzzoli, Matteo Bianchi

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

many-valued logicssubstructural logicsmonoidal t-norm based logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Halld%EF%BF%BD%EF%BF%BDn+completeness&go=Go Halld��n completeness]single chain completenessvariable separation properties

Mathematics Subject Classification ID

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

Recommendations

• Chainability and Hemmingsen's theorem
• Chain-completeness and fixed points in partially ordered sets.
• Uniqueness of completions and related topics
• Integral chains and Bousfield-Kan completion
• scientific article; zbMATH DE number 733224
• Uniqueness of the core for chain-complete ordered sets
• scientific article; zbMATH DE number 57613
• scientific article; zbMATH DE number 2171500
• Series and 1-affine completeness
• Homomorphisms between complete chains and the independence of the axioms of limitoid

Cites work

• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• A Note on Drastic Product Logic
• A propositional calculus with denumerable matrix
• Algebraic characterizations of variable separation properties
• Algebraizable logics
• Completeness with respect to a chain and universal models in fuzzy logic
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• First-order nilpotent minimum logics: first steps
• Generating the variety of BL-algebras
• Handbook of mathematical fuzzy logic. Volume 1
• Hoops and Fuzzy Logic
• Logics without the contraction rule and residuated lattices
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On Weakly Cancellative Fuzzy Logics
• On the structure of hoops
• Residuated lattices. An algebraic glimpse at substructural logics
• The disjunction property of intermediate propositional logics
• Varieties of BL-algebras. I: General properties.
• \(n\)-contractive BL-logics

Cited in

(6)

• On linear varieties of MTL-algebras
• scientific article; zbMATH DE number 2171500 (Why is no real title available?)
• Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
• Strictly join irreducible varieties of BL-algebras: the missing pieces
• Free weak nilpotent minimum algebras
• On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra

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

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