Pseudo equality algebras

DOI10.1007/s00153-013-0325-zzbMath1300.06004MaRDI 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 algebras; term equivalence; residuated lattices; BCK-meet-semilattices; equational characterization; equivalential algebras; equivalential fragment

Mathematics Subject Classification ID

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