Varieties of BL-algebras. III: Splitting algebras

DOI10.1007/s11225-018-9836-2zbMath1442.06005OpenAlexW2900681650MaRDI QIDQ2278840

Paolo Agliano

Publication date: 11 December 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9836-2

zbMATH Keywords

substructural logicsBL-algebrassplitting algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Varieties of lattices (06B20)

Related Items (5)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ Varieties of K-lattices ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Splittings in subreducts of hoops ⋮ Projectivity in (bounded) commutative integral residuated lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of generalized BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Varieties with equationally definable principal congruences
• Representation and reticulation by quotients of MV-algebras
• Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
• Metamathematics of fuzzy logic
• On the structure of varieties with equationally definable principal congruences. III
• On the structure of rotation-invariant semigroups
• Varieties of BL-algebras. I, revisited
• Varieties of BL-algebras. II
• Varieties of BL-algebras. I: General properties.
• On the structure of varieties with equationally definable principal congruences. I
• Geometrical methods in Wajsberg hoops
• On the structure of hoops
• Splitting in the variety of residuated lattices
• On subtractive varieties. IV: Definability of principal ideals
• Splittings in GBL-algebras. II: The representable case
• Subdirectly irreducible residuated semilattices and positive universal classes
• Basic hoops: an algebraic study of continuous t-norms
• Minimal varieties of residuated lattices
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• THE STRUCTURE OF RESIDUATED LATTICES
• Logics without the contraction rule
• Algebraizable logics
• Super-Łukasiewicz propositional logics
• Super-Łukasiewicz implicational logics
• The finite model property for various fragments of intuitionistic linear logic
• Equational Bases and Nonmodular Lattice Varieties
• Splittings of a Lattice

This page was built for publication: Varieties of BL-algebras. III: Splitting algebras