Prelinear algebras in relatively regular quasivarieties
From MaRDI portal
Publication:2376911
DOI10.1007/s11083-012-9262-4zbMath1283.06035MaRDI QIDQ2376911
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
Related Items
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