BCK algebra
id:
bck-algebra-246-18307425
title:
BCK algebra
text:
In mathematics, BCI and BCK algebras are algebraic structures in universal algebra, which were introduced by Y. Imai, K. Iséki and S. Tanaka in 1966, that describe fragments of the propositional calculus involving implication known as BCI and BCK logics.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/BCK_algebra
date created:
date modified:
2023-04-08T14:47:50Z
main entity:
{"identifier":"Q4835181","url":"https://www.wikidata.org/entity/Q4835181"}
image:
fields total:
13
integrity:
13