Prelinear algebras in relatively regular quasivarieties

DOI10.1007/s11083-012-9262-4zbMath1283.06035MaRDI QIDQ2376911

Clint J. van Alten

Publication date: 26 June 2013

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-012-9262-4

zbMATH Keywords

quasivariety; lattice-ordered algebra; prelinear algebra; relatively \(1^{-}\)-regular

Mathematics Subject Classification ID

08C15: Quasivarieties

06F25: Ordered rings, algebras, modules

Related Items

Semi-linear Varieties of Lattice-Ordered Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Teilbarkeitshalbgruppen mit vollständiger Erweiterung
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Varieties of lattice-ordered algebras
• Ideals in universal algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Logics with disjunction and proof by cases
• Representable good EQ-algebras
• Subdirect products of totally ordered BCK-algebras
• Representable biresiduated lattices
• A remark on lattice-ordered semigroups
• Representable pseudo-BCK-algebras and integral residuated lattices
• Dually residuated lattice ordered semigroups. III
• Sur les demi-groupes réticulés et les O-demi-groupes. (Lattice ordered semigroups and O-semigroups)
• THE STRUCTURE OF RESIDUATED LATTICES
• A propositional calculus with denumerable matrix
• Logic with truth values in A linearly ordered heyting algebra
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Über halbgeordnete Gruppen