On a property of BCK-identities
From MaRDI portal
Publication:1327482
DOI10.1007/BF01054710zbMath0799.06032MaRDI QIDQ1327482
Publication date: 12 July 1994
Published in: Studia Logica (Search for Journal in Brave)
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
This page was built for publication: On a property of BCK-identities