Results 1 to 10 of about 3,353 (149)
A new characterization of complete Heyting and co-Heyting algebras [PDF]
Logical Methods in Computer Science, 2017 We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra $C$. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete ...
Francesco Ranzato
doaj +3 more sources
Kernel L-Ideals and L-Congruence on a Subclass of Ockham Algebras
Journal of Mathematics, 2022 In this paper, we study L-congruences and their kernel in a subclass Kn,0 of the variety of Ockham algebras A. We prove that the class of kernel L-ideals of an Ockham algebra forms a complete Heyting algebra.
Teferi Getachew Alemayehu +2 more
doaj +2 more sources
A Heyting Algebra on Dyck Paths of Type $A$ and $B$ [PDF]
Order, 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 +3 more sources
Characterization of Almost Semi-Heyting Algebra
Discussiones Mathematicae - General Algebra and Applications, 2020 In this paper, we initiate the discourse on the properties that hold in an almost semi-Heyting algebra but not in an semi-Heyting almost distributive lattice.
Srikanth V.V.V.S.S.P.S. +2 more
doaj +3 more sources
On the Lattice of Filters of Intuitionistic Linear Algebras [PDF]
Transactions on Fuzzy Sets and Systems, 2023 In this paper, we investigate the filter theory of Intuitionistic Linear Algebra (IL-algebra, in short) with emphasis on the lattice of filters of IL-algebras and relationship between filters and congruences on IL-algebras.
Tenkeu Yannick Lea, Cyrille Nganteu
doaj +1 more source
HH∗−intuitionistic heyting valued Ω-algebra and homomorphism [PDF]
Journal of Hyperstructures, 2017 Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional
Sinem Tarsuslu(Yılmaz) +1 more
doaj +1 more source
The degree structure of Weihrauch-reducibility [PDF]
Logical Methods in Computer Science, 2013 We answer a question by Vasco Brattka and Guido Gherardi by proving that the Weihrauch-lattice is not a Brouwer algebra. The computable Weihrauch-lattice is also not a Heyting algebra, but the continuous Weihrauch-lattice is.
Kojiro Higuchi, Arno Pauly
doaj +1 more source
Hyper-MacNeille Completions of Heyting Algebras [PDF]
Studia Logica, 2021 A Heyting algebra is supplemented if each element $a$ has a dual pseudo-complement $a^+$, and a Heyting algebra is centrally supplement if it is supplemented and each supplement is central. We show that each Heyting algebra has a centrally supplemented extension in the same variety of Heyting algebras as the original.
J. Harding, F. M. Lauridsen
openaire +2 more sources
Algebraic Geometry over Heyting Algebras [PDF]
Journal of Siberian Federal University. Mathematics & Physics, 2020 In this article, we study the algebraic geometry over Heyting algebras and we investigate the properties of being equationally Noetherian and qω-compact over such ...
openaire +2 more sources
Hyper Rl-Ideals in Hyper Residuated Lattices
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper, we introduce the notion of a (strong) hyper RL-ideal in hyper residuated lattices and give some properties and characterizations of them.
Bakhshi Mahmood
doaj +1 more source