Results 61 to 70 of about 3,353 (149)
Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity [PDF]
Categories and General Algebraic Structures with Applications, 2014 This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}.
Hanamantagouda P. Sankappanavar
doaj
Characteristic formulas over intermediate logics [PDF]
, 2012 We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly irreducible ...
Citkin, Alex
core
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity [PDF]
Categories and General Algebraic Structures with Applications, 2014 This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the ...
Hanamantagouda P. Sankappanavar
doaj
A Note on Regular De Morgan Semi-Heyting Algebras
Demonstratio Mathematica, 2016 The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equational) axiomatizations for several subvarieties of RDMSH1.
Sankappanavar Hanamantagouda P.
doaj +1 more source
Codimension and pseudometric in co-Heyting algebras [PDF]
, 2008 In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice $L$. These notions prove to have a good behavior when $L$ is a co-Heyting algebra.
Faculte ́ Des Sciences +2 more
core
International Journal of Computing Science and Applied Mathematics, 2018 In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary operation is defined, and some algebraic properties on it.
Berhanu Assaye Alaba +2 more
openaire +2 more sources
Closure Operations on Intuitionistic Linear Algebras
Annales Mathematicae SilesianaeIn this paper, we introduce the notions of radical filters and extended filters of Intuitionistic Linear algebras (IL-algebras for short) and give some of their properties.
Tenkeu Jeufack Y.L. +2 more
doaj +1 more source
Subalgebras of Heyting and De Morgan Heyting Algebras
Studia Logica, 2011 In this paper we obtain characterizations of subalgebras of Heyting algebras and De Morgan Heyting algebras. In both cases we obtain these characterizations by defining certain equivalence relations on the Priestley-type topological representations of the corresponding algebras. As a particular case we derive the characterization of maximal subalgebras
Castaño, Valeria Marcela +1 more
openaire +2 more sources
Relation between dual S-algebras and BE-algebras
Le Matematiche, 2015 In this paper, we investigate the relationship between dual (Weak) Subtraction algebras, Heyting algebras and BE-algebras. In fact, the purpose of this paper is to show that BE-algebra is a generalization of Heyting algebra and dual (Weak) Subtraction ...
Arsham Borumand Saeid, Akbar Rezaei
doaj
Relation Between Be-Algebras and G-Hilbert Algebras
Discussiones Mathematicae - General Algebra and Applications, 2018 Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source