Characterizations of $\mathrm{BCI, BCK}$-algebras

DOI10.3792/PJA/1195522126zbMath0207.29305OpenAlexW2021586000WikidataQ56673839 ScholiaQ56673839MaRDI QIDQ5607968

Shotaro Tanaka, Yoshinari Arai, Kiyoshi Iseki

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (6)

Algebraic formulation of propositional calculi with general detachment rule ⋮ On variants of axiom systems of propositional calculus, I ⋮ On Quasi-Commutative KK-algebra ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Convex congruences ⋮ Commutators in BCI-algebras

Cites Work

• An algebra related with a propositional calculus

This page was built for publication: Characterizations of $\mathrm{BCI, BCK}$-algebras