On pseudo-bci ideals of pseudo-bci algebras
On pseudo-BCI-algebras
The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.
On ()-fuzzy filters of pseudo-BL algebras.
On some properties of transformations of a logic
On systems of congruences on principal filters of orthomodular implication algebras
Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott’s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (= congruence kernels) of such algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.
On the congruences in four-valued modal algebras
On the lattice of deductive systems of a BL-algebra
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.
On The Limits Of The Families Of Lindenbaum Algebras
On the number of closed subsets of linear functions in the 6-valued logic
On weakly rigid monounary algebras
One of the Possible Formal Desribtions of Deducubility