Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components

DOI10.1007/978-3-031-28083-2_1MaRDI QIDQ6174409FDO

Authors Stefano Aguzzoli, Matteo Bianchi

Publication date 17 August 2023

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ordinal sumsamalgamation propertylattices of varietiesBL-algebrashoops

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• Amalgamation and interpolation in ordered algebras.
• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
• Basic hoops: an algebraic study of continuous t-norms
• Handbook of mathematical fuzzy logic. Volume 1
• Hoops and Fuzzy Logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Metamathematics of fuzzy logic
• On linear varieties of MTL-algebras
• One chain generated varieties of MV-algebras
• Quantifier elimination and other model-theoretic properties of BL-algebras
• Single chain completeness and some related properties
• Strictly join irreducible varieties of BL-algebras: the missing pieces
• Varieties of BL-algebras. I: General properties.
• \(n\)-contractive BL-logics

Cited in

(1)

• Interpolation in linear logic and related systems

This page was built for publication: Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components

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