Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
Page 1
Displaying 1 – 12 of 12
Sequential convergences on -algebras
Ján Jakubík (1995)
Czechoslovak Mathematical Journal
Some problems of BCK-algebras and Griss type algebras
Kiyoshi Iséki (1982)
Banach Center Publications
Some properties of epimorphisms of Hilbert algebras
Dumitru Buşneag, Mircea Ghiţă (2010)
Open Mathematics
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
Andrzej Grzegorczyk (1967)
Fundamenta Mathematicae
States on basic algebras
Ivan Chajda, Helmut Länger (2017)
Mathematica Bohemica
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
Jaroslav Guričan, Heghine Ghumashyan (2024)
Mathematica Bohemica
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
Andrzej Walendziak (2016)
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica
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]
Vladimir Yu. Shavrukov (1993)
Subdirectly irreducible MV-algebras
Hernando Gaitan (2003)
Czechoslovak Mathematical Journal
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.
Celani, S.A. (2005)
Acta Mathematica Universitatis Comenianae. New Series
Sur quelques algèbres de la Logique
Porta, Horácio (1981)
Portugaliae mathematica
Currently displaying 1 – 12 of 12
Page 1