scientific article
From MaRDI portal
Publication:2752408
zbMath0996.03040MaRDI QIDQ2752408
Clint J. van Alten, James G. Raftery
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BCI-algebraassertional logiclocal deduction detachment theoremquasivariety semanticsrelatively congruence modularsemi-integral residuated commutative monoidsircomonoid
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Quasivarieties (08C15)
Related Items
Integrally closed residuated lattices ⋮ Resource convertibility and ordered commutative monoids ⋮ Replacement in logic ⋮ Joins and subdirect products of varieties ⋮ Contextual deduction theorems ⋮ Variations on a theme of Curry ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras