Pseudo equality algebras
From MaRDI portal
Publication:365672
DOI10.1007/s00153-013-0325-zzbMath1300.06004OpenAlexW1974987615MaRDI 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 algebrasterm equivalenceresiduated latticesBCK-meet-semilatticesequational characterizationequivalential algebrasequivalential fragment
BCK-algebras, BCI-algebras (06F35) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25)
Related Items
Involutive equality algebras, State pseudo equality algebras, Generalized state maps and states on pseudo equality algebras, Internal states on equality algebras, Unnamed Item, Pseudo equality algebras: revision, On pseudo-equality algebras., Commutative pseudo-equality algebras, Unnamed Item, \(l\)-hemi-implicative semilattices, Unnamed Item, Monadic pseudo-equality algebras, Filter theory on hyper equality algebras
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