Canonicity in subvarieties of BL-algebras

DOI10.1007/S00012-010-0055-6zbMATH Open1200.03049OpenAlexW1984350157MaRDI QIDQ993324FDOQ993324

Authors: Manuela Busaniche, Leonardo Manuel Cabrer 

Publication date: 10 September 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-010-0055-6

Recommendations

• scientific article; zbMATH DE number 5568035
• Completions in subvarieties of BL-algebras
• Subvarieties of BL-algebras generated by single-component chains
• Varieties of BL-algebras. I, revisited
• Varieties of BL-algebras. II

zbMATH Keywords

canonical extensionsBL-algebrasWajsberg hoops

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Cites Work

• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• Residuated lattices. An algebraic glimpse at substructural logics
• Title not available (Why is that?)
• Bounded distributive lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Bounded lattice expansions
• Varieties of BL-algebras. I: General properties.
• On the structure of hoops
• Decomposition of BL-chains
• Title not available (Why is that?)
• Logic with truth values in A linearly ordered heyting algebra
• Free algebras in varieties of BL-algebras generated by a BL_n-chain
• Title not available (Why is that?)
• Completions of GBL-algebras: negative results
• Free algebras in varieties of BL-algebras generated by a chain.

Cited In (10)

• Completions in subvarieties of BL-algebras
• \(n\)-contractive BL-logics
• Representation of BL-algebras with finite independent spectrum
• Proof theory for locally finite many-valued logics: semi-projective logics
• Title not available (Why is that?)
• Canonical extensions for congruential logics with the deduction theorem
• Varieties of BL-algebras. II
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Title not available (Why is that?)
• Canonical extensions and profinite completions of semilattices and lattices

This page was built for publication: Canonicity in subvarieties of BL-algebras

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