Equality algebras

DOI10.1007/s11225-012-9457-0zbMath1270.03138OpenAlexW2911370693MaRDI QIDQ1935560

Sándor Jenei

Publication date: 18 February 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9457-0

zbMATH Keywords

closure operatorterm equivalenceHeyting algebraequational characterizationequivalential fragmentequivalential algebraBCK-algebra with meet

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items

Right and Left Mappings in Equality Algebras, Involutive equality algebras, State pseudo equality algebras, Generalized state maps and states on pseudo equality algebras, Internal states on equality algebras, Unnamed Item, Ideals in bounded equality algebras, Pseudo equality algebras, Pseudo equality algebras: revision, On pseudo-equality algebras., Equality algebras, Roughness of Filters in Equality Algebras, Commutative pseudo-equality algebras, Unnamed Item, Equality Logic, \(l\)-hemi-implicative semilattices, Results on equality algebras, Unnamed Item, Monadic pseudo-equality algebras, Filter theory on hyper equality algebras, Preideals in EQ-algebras

Cites Work

• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• EQ-algebras
• Equality algebras