Abstract
Relations between general logical kits and kits of some particular type, called functional kits, are investigated. The functional representation R(K) of a logical kit K is constructed and it is shown that R(K) is a reflection of K in the category of kits and A-surjective kit homomorphisms with respect to the subcategory of functional kits.
Get full access to this article
View all access options for this article.