Equality algebras
type: Item
instance of: scholarly article
title: Equality algebras
zbMATH Open document ID: 1270.03138
author: Sándor Jenei
published in: Studia Logica
publication date: 2013-02-18T00:00:00Z
review text: The author introduces equality algebras. They have two connectives, a meet operation and an equivalence, and a constant. He shows that equivalential equality algebras are term-equivalent with BCK-algebras with meet. As a by-product, he obtains a quite general result, which is analogous to a result of Kabziński and Wroński.
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06F35
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 6136998
zbMATH Keywords: BCK-algebra with meet
zbMATH Keywords: equivalential fragment
zbMATH Keywords: Heyting algebra
zbMATH Keywords: equivalential algebra
zbMATH Keywords: closure operator
zbMATH Keywords: term equivalence
zbMATH Keywords: equational characterization
reviewed by: A. Borumand Saeid
MaRDI profile type: Publication
full work available at URL: s11225-012-9457-0
OpenAlex ID: W2911370693
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Q4165379
cites work: EQ-algebras
DOI: 10.1007/S11225-012-9457-0
description: scientific article; zbMATH DE number 6136998