Pseudo equality algebras
From MaRDI portal
Publication:365672
DOI10.1007/s00153-013-0325-zzbMath1300.06004MaRDI QIDQ365672
Publication date: 9 September 2013
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0325-z
Heyting algebras; term equivalence; residuated lattices; BCK-meet-semilattices; equational characterization; equivalential algebras; equivalential fragment
06F35: BCK-algebras, BCI-algebras
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
Related Items
Unnamed Item, Unnamed Item, State pseudo equality algebras, Unnamed Item, Internal states on equality algebras, On pseudo-equality algebras., Monadic pseudo-equality algebras, Involutive equality algebras, Generalized state maps and states on pseudo equality algebras, Commutative pseudo-equality algebras, \(l\)-hemi-implicative semilattices, Filter theory on hyper equality algebras, Pseudo equality algebras: revision
Cites Work
- Residuated lattices. An algebraic glimpse at substructural logics
- On the structure of linearly ordered pseudo-BCK-algebras
- On subtractive varieties. I
- Equality algebras
- THE STRUCTURE OF RESIDUATED LATTICES
- Continuous Lattices and Domains
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item