On the structure of generalized BL-algebras

DOI10.1007/S00012-006-1960-6zbMath1109.06011OpenAlexW2027528905MaRDI QIDQ861599

Franco Montagna, Peter Jipsen

Publication date: 29 January 2007

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

Full work available at URL: https://doi.org/10.1007/s00012-006-1960-6

zbMATH Keywords

basic logicresiduated latticegeneralized BL-algebra

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05)

Related Items (35)

Kites and residuated lattices ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ The unitality of quantum B-algebras ⋮ Beyond wreath and block ⋮ Minimal prime state filters and state radicals on state pseudo BL-algebras ⋮ On a new construction of pseudo BL-algebras ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Multipotent GBL-algebras ⋮ On normal-valued basic pseudo-hoops ⋮ Pseudo-BCK algebras as partial algebras ⋮ Obituary: Franco Montagna (1948--2015) ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ Quantum structures versus partially ordered groups ⋮ Filters on some classes of quantum B-algebras ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ Some modal and temporal translations of generalized basic logic ⋮ Kites and pseudo BL-algebras. ⋮ Some remarks on kite pseudo effect algebras ⋮ On decomposition of pseudo BL-algebras ⋮ Embedding theorems for classes of GBL-algebras ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ States of finite GBL-algebras with monoidal sum ⋮ Kite pseudo effect algebras ⋮ Kripke semantics for intuitionistic Łukasiewicz logic ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Aglianò-Montagna type decomposition of linear pseudo hoops and its applications ⋮ Poset product and BL-chains ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ Soft Constraints Processing over Divisible Residuated Lattices ⋮ Generalizations of Boolean products for lattice-ordered algebras ⋮ On the structure of linearly ordered pseudo-BCK-algebras ⋮ A short note on divisible residuated semilattices ⋮ Splittings in GBL-algebras. I: The general case ⋮ Poset products as relational models ⋮ Kite \(n\)-perfect pseudo effect algebras

This page was built for publication: On the structure of generalized BL-algebras