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 QIDQ6174409FDOQ6174409

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

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

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)