Canonical extensions were introduced by Jonsson and Tarski for Boolean algebras with operators and generalized for distributive lattices, lattices and posets with different internal operations. They provide an algebraic formulation of what is otherwise treated via topological duality or relational methods. In this paper, the authors study \(\sigma\)- and \(\pi\)-canonicity for subvarieties of BL-algebras. They prove that every subvariety of BL-algebras that is not finitely generated is not \(\sigma\)-canonical. Also, they prove \(\pi\)-canonicity for an infinite family of subvarieties of BL-algebras that are not finitely generated.
- A propositional calculus with denumerable matrix
- Algebraic foundations of many-valued reasoning
- Boolean Algebras with Operators. Part I
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Canonical extensions and relational completeness of some substructural logics
- Completions of GBL-algebras: negative results
- Decomposition of BL-chains
- Free algebras in varieties of BL-algebras generated by a BLn-chain
- Free algebras in varieties of BL-algebras generated by a chain.
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- scientific article; zbMATH DE number 1526147 (Why is no real title available?)
- scientific article; zbMATH DE number 2168736 (Why is no real title available?)
- Logic with truth values in A linearly ordered heyting algebra
- Metamathematics of fuzzy logic
- On the structure of hoops
- Residuated lattices. An algebraic glimpse at substructural logics
- Varieties of BL-algebras. I: General properties.
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Varieties of BL-algebras. II
- Representation of BL-algebras with finite independent spectrum
- Canonical extensions and profinite completions of semilattices and lattices
- scientific article; zbMATH DE number 5568035 (Why is no real title available?)
- Proof theory for locally finite many-valued logics: semi-projective logics
- scientific article; zbMATH DE number 2070195 (Why is no real title available?)
- Completions in subvarieties of BL-algebras
- n-contractive BL-logics
- Canonical extensions for congruential logics with the deduction theorem
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)
