Autor:	Misao Nagayama
Rok vydání:	1994
Předmět:	Algebra Mathematical logic Set (abstract data type) Discrete mathematics Property (philosophy) History and Philosophy of Science Logic Arrow Algebra over a field Computational linguistics Mathematics
Zdroj:	Studia Logica. 53:227-234
ISSN:	1572-8730 0039-3215
DOI:	10.1007/bf01054710
Popis:	A BCK-algebra is an algebra in which the terms are generated by a set of variables, 1, and an arrow. We mean by aBCK-identity an equation valid in all BCK-algebras. In this paper using a syntactic method we show that for two termss andt, if neithers=1 nort=1 is a BCK-identity, ands=t is a BCK-identity, then the rightmost variables of the two terms are identical.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::758bb413f46ec3276637ef62b105d175 https://doi.org/10.1007/bf01054710 Zobrazit plný text záznamu Full text from SpringerLink