Results 1 to 10 of about 2,874 (140)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra [PDF]

Logical Methods in Computer Science, 2011
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process.
Nick Bezhanishvili, Mai Gehrke
doaj   +7 more sources

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, Derso Abeje Engidaw, Gezahagne Mulat Addis   +2 more
doaj   +2 more sources

‎Gautama and Almost Gautama Algebras and their associated logics [PDF]

Transactions on Fuzzy Sets and Systems, 2023
‎Recently‎, ‎Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras‎, ‎both of which are‎, ‎in ...
Juan M. Cornejo, Hanamantagouda P. Sankappanavar   +1 more
doaj   +1 more source

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

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Bulletin of the Section of Logic, 2022
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar   +1 more
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), G¨okhan C¸ uvalcıo˘gl   +1 more
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

Multipliers in weak Heyting algebras [PDF]

Journal of Mahani Mathematical Research
In this paper, we introduce the notion of multipliers in weak Heyting algebras and investigate some related properties of them. We obtain the relations between multipliers, closure operators, and homomorphisms in weak Heyting algebras.
Shokoofeh Ghorbani
doaj   +1 more source