The Localization of Commutative Bounded BCK-Algebras

Abstract

In this paper we develop a theory of localization for bounded commutative BCK-algebras. We try to extend some results from the case of commutative Hilbert algebras (see [1]) to the case of commutative BCK-algebras.

Some Connections Between Binary Block Codes and Hilbert Algebras

“…In the following, we will try to emphasize how, using binary block-codes, we can provide examples of classes of Hilbert algebras with certain properties, in our case, classes of semisimple Hilbert algebras (Theorem 3.11) and classes of local Hilbert algebras (Theorem 3.12). Hilbert algebras were first introduced at the middle of the 20th century and they are an important tool for some investigations in intuitionistic logics and other non-classical logics (see (Piciu, Buşneag, 2010)).…”