On a property of BCK-identities

DOI10.1007/BF01054710zbMath0799.06032MaRDI QIDQ1327482

Misao Nagayama

Publication date: 12 July 1994

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

zbMATH Keywords

BCK-algebraBCK-logic

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Idempotent variations on the theme of exclusive disjunction

Cites Work

• An algebra related with a propositional calculus
• Unnamed Item

This page was built for publication: On a property of BCK-identities