scientific article

From MaRDI portal

Publication:2752408

Jump to:navigation, search

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.

zbMATH Keywords

BCI-algebra assertional logic local deduction detachment theorem quasivariety semantics relatively congruence modular semi-integral residuated commutative monoid sircomonoid

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2752408&oldid=15616809"