Equality Algebras

Studia Logica 100 (6):1201-1209 (2012)
  Copy   BIBTEX

Abstract

A new structure, called equality algebras, will be introduced. It has two connectives, a meet operation and an equivalence, and a constant. A closure operator will be defined in the class of equality algebras, and we call the closed algebras equivalential. We show that equivalential equality algebras are term equivalent with BCK-algebras with meet. As a by-product, we obtain a quite general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalential fragment of BCK-algebras with meet

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2012-10-20

Downloads
13 (#886,512)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On pseudo-equality algebras.Lavinia Corina Ciungu - 2014 - Archive for Mathematical Logic 53 (5-6):561-570.
Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references