The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
For a BL-algebra A we denote by Ds(A) the lattice of all deductive systems of A. The aim of this paper is to put in evidence new characterizations for the meet-irreducible elements on Ds(A). Hyperarchimedean BL-algebras, too, are characterized.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.