Review of several papers on BCI, BCK-Algebras

Angell, R. B. (1970). Review of several papers on BCI, BCK-Algebras.

Type

Unclassified

Intellectual base

Review or monograph

Year

1970

DOI

10.2307/2270728

Link

https://doi.org/10.2307/2270728

Cited by

1 citation across 1 artifact.

Domain-specific

• BCK algebra
  • BCK and BCI algebras provide algebraic semantics for implicational logics; order can be defined by x*y=0, and commutative, bounded, positive-implicative and other varieties add identities.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a8490969ff79 · see in the full table