Characterizations of $\mathrm{BCI, BCK}$-algebras
From MaRDI portal
Publication:5607968
DOI10.3792/pja/1195522126zbMath0207.29305WikidataQ56673839 ScholiaQ56673839MaRDI QIDQ5607968
Kiyoshi Iseki, Shotaro Tanaka, Yoshinari Arai
Publication date: 1966
Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3792/pja/1195522126
03G25: Other algebras related to logic
Related Items
Algebraic formulation of propositional calculi with general detachment rule, On variants of axiom systems of propositional calculus, I, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
Cites Work