On Birkhoff's common abstraction problem
From MaRDI portal
Publication:1935562
DOI10.1007/s11225-012-9452-5zbMath1298.08002OpenAlexW2114734012MaRDI QIDQ1935562
Francesco Paoli, Constantine Tsinakis
Publication date: 18 February 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9452-5
Boolean algebralattice-ordered groupsubstructural logiclattice of subvarietiesresiduated latticeFL-algebra
Related Items
The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices ⋮ Functional representations of lattice-ordered semirings ⋮ Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Periodic lattice-ordered pregroups are distributive
Cites Work
- Joins and subdirect products of varieties
- Ideals in universal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- On two versions of the Loomis-Sikorski theorem for algebraic structures
- Uniformities of Fréchet-Nikodým type on Vitali spaces
- Generalized MV-algebras
- Products of classes of residuated structures
- MV-algebras and quantum computation
- \(\bigstar\)-autonomous lattices and fuzzy sets
- Dually residuated lattice ordered semigroups
- Dually residuated lattice ordered semigroups. II
- Rings and partly ordered systems
- Dually residuated lattice ordered semigroups. III
- On a common abstraction of Boolean rings and lattice ordered groups. I
- Sur les demi-groupes réticulés et les O-demi-groupes. (Lattice ordered semigroups and O-semigroups)
- The lattice-ordered group of automorphisms of an ordered set
- Notes on the foundations of lattice theory. II
- THE STRUCTURE OF RESIDUATED LATTICES
- Ideals of noncommutative DRℓ-monoids
- Joins and Direct Products of Equational Classes
- Two Mal'cev-type theorems in universal algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
