Canonicity in subvarieties of BL-algebras
From MaRDI portal
Publication:993324
DOI10.1007/s00012-010-0055-6zbMath1200.03049MaRDI QIDQ993324
Leonardo Manuel Cabrer, Manuela Busaniche
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
03G25: Other algebras related to logic
Related Items
Proof theory for locally finite many-valued logics: semi-projective logics, \(n\)-contractive BL-logics, On some questions concerning the axiomatisation of WNM-algebras and their subvarieties, Representation of BL-algebras with finite independent spectrum, Canonical extensions and profinite completions of semilattices and lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Completions of GBL-algebras: negative results
- Metamathematics of fuzzy logic
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Decomposition of BL-chains
- Free algebras in varieties of BL-algebras generated by a chain.
- A propositional calculus with denumerable matrix
- Bounded distributive lattice expansions
- Free algebras in varieties of BL-algebras generated by a BLn-chain
- Logic with truth values in A linearly ordered heyting algebra
- Canonical extensions and relational completeness of some substructural logics
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions