Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
Sequential convergences on -algebras
Some problems of BCK-algebras and Griss type algebras
Some properties of epimorphisms of Hilbert algebras
This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such epimorphisms only for implication algebras, the following results will make possible the construction of some examples of epimorphisms which are not surjective functions. Also, we will show that the study of epimorphisms of Hilbert algebras is equivalent with the study of epimorphisms of Hertz algebras.
Some relational systems and the associated topological spaces
States on basic algebras
States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which are the certain...
Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras
We show that all finite Brouwerian semilattices have strong endomorphism kernel property (SEKP), give a new proof that all finite relative Stone algebras have SEKP and also fully characterize dual generalized Boolean algebras which possess SEKP.
Strong ideals and horizontal ideals in pseudo-BCH-algebras
In this paper we define strong ideals and horizontal ideals in pseudo-BCH-algebras and investigate the properties and characterizations of them.
Subalgebras of diagonalizable algebras of theories containing arithmetic [Book]
Subdirectly irreducible MV-algebras
In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.
Subdirectly irreducible quasi-modal algebras.
Sur quelques algèbres de la Logique