Recommendations
Cites work
- 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?)
- 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.
- 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.
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
- scientific article; zbMATH DE number 5568035 (Why is no real title available?)
- 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
- Canonical extensions and profinite completions of semilattices and lattices
- scientific article; zbMATH DE number 2070195 (Why is no real title available?)
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)