Results 31 to 40 of about 2,874 (140)
Annihilators in Universal Algebras: A New Approach
Journal of Mathematics, Volume 2020, Issue 1, 2020., 2020 The purpose of this paper is to study annihilators and annihilator ideals in a more general context; in universal algebras.
Gezahagne Mulat Addis, Andrei V. Kelarev
wiley +1 more source
Simple and subdirectly irreducibles bounded distributive lattices with unary operators
International Journal of Mathematics and Mathematical Sciences, 2006 We characterize the simple and subdirectly irreducible distributive algebras in some varieties of distributive lattices with unary operators, including topological and monadic positive modal algebras. Finally, for some varieties of Heyting algebras with
Sergio Arturo Celani
doaj +1 more source
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
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 Heyting Algebra on Dyck Paths of Type $A$ and $B$ [PDF]
, 2016 In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure.
Mühle, Henri
core +1 more source
Heyting algebras with dual pseudocomplementation [PDF]
Pacific Journal of Mathematics, 1985 An algebra \((L;\vee,\wedge,\to,+,0,1)\) is said to be an \(H_+\)-algebra if (L;\(\vee,\wedge,\to,0,1)\) is a Heyting algebra and \(+\) is the dual pseudocomplement in L, i.e. \(x\geq a^+\) iff \(x\vee a=1\). The class of all \(H_+\)-algebras is equational and comprises double Heyting algebras as well as regular double p-algebras.
openaire +3 more sources
Esakia duals of regular Heyting algebras
Algebra universalis, 2023 AbstractWe investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras generated by regular Heyting algebras. We also study several logical applications of these classes
Grilletti, Gianluca +1 more
openaire +3 more sources
Demonstratio Mathematica, 1986 In this paper the theory of probability on Boolean algebras is generalized dealing with probability functions defined on Heyting algebras. The author formulates several results similar to those of classical probability theory.
openaire +2 more sources
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
Logical Methods in Computer ScienceA distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source
Endomorphisms of complete heyting algebras
Semigroup Forum, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pultr, A., Sichler, J.
openaire +2 more sources