The Blok-Ferreirim theorem for normal GBL-algebras and its application
From MaRDI portal
Publication:2655230
DOI10.1007/s00012-009-2106-4zbMath1192.06011OpenAlexW2095665118MaRDI QIDQ2655230
Publication date: 22 January 2010
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-009-2106-4
basic logicresiduated latticeslattice-ordered groupshoopsgeneralized BL-algebrasgeneralized MV-algebras
Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15)
Related Items (28)
Multipotent GBL-algebras ⋮ Pseudo-BCK algebras as partial algebras ⋮ On fuzzy filters of pseudo BL-algebras ⋮ Formal Concepts and Residuation on Multilattices ⋮ Gluing residuated lattices ⋮ Obituary: Franco Montagna (1948--2015) ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ Varieties of BL-algebras. I, revisited ⋮ Some modal and temporal translations of generalized basic logic ⋮ On decomposition of pseudo BL-algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Embedding theorems for classes of GBL-algebras ⋮ Representation of BL-algebras with finite independent spectrum ⋮ States of finite GBL-algebras with monoidal sum ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Applications of Finite Duality to Locally Finite Varieties of BL-Algebras ⋮ Poset product and BL-chains ⋮ Poset product and BL-algebras ⋮ Ordinal sums of triangular norms on a bounded lattice ⋮ On finite MTL-algebras that are representable as poset products of Archimedean chains ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ Conuclear images of substructural logics ⋮ Generalizations of Boolean products for lattice-ordered algebras ⋮ A short note on divisible residuated semilattices ⋮ Splittings in GBL-algebras. I: The general case ⋮ Splittings in GBL-algebras. II: The representable case ⋮ Unnamed Item ⋮ Poset products as relational models
This page was built for publication: The Blok-Ferreirim theorem for normal GBL-algebras and its application
