Pseudo equality algebras

DOI10.1007/s00153-013-0325-zzbMath1300.06004OpenAlexW1974987615MaRDI QIDQ365672

Sándor Jenei, László Kóródi

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

zbMATH Keywords

Heyting algebrasterm equivalenceresiduated latticesBCK-meet-semilatticesequational characterizationequivalential algebrasequivalential fragment

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25)

Related Items (13)

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

This page was built for publication: Pseudo equality algebras