نتایج جستجو برای: heyting semilattice

تعداد نتایج: 1180  

Journal: :Proceedings of the American Mathematical Society 2008

2007
Fan Yang

The variety of Heyting algebras has a nice property that HS = SH. Heyting algebras are the algebraic dual of intuitionistic descriptive frames. The goal of this paper is to define proper dual notions so as to formulate this algebraic properties in the frame language, and to give a frame-based proof of this property and some other duality theorems.

2017
Berhanu Assaye Alaba Derebew Nigussie Derso

This paper aims to introduce fuzzy congruence relations over Heyting algebras (HA) and give constructions of quotient Heyting algebras induced by fuzzy congruence relations on HA. The Fuzzy First, Second and Third Isomorphism Theorems of HA are established. MSC: 06D20, 06D72, 06D75.

Journal: :Ars Mathematica Contemporanea 2016

Journal: :International Journal of Computing Science and Applied Mathematics 2018

2003
A. B. Romanowska

The paper presents general machinery for extending a duality between complete, cocomplete categories to a duality between corresponding categories of semilattice representations (i.e. sheaves over Alexandrov spaces). This enables known dualities to be regularized. Among the applications, regularized Lindenbaun-Tarski duality shows that the weak extension of Boolean logic (i.e. the semantics of ...

Journal: :Order 2008
Guram Bezhanishvili Nick Bezhanishvili

For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely joinprime generated; (iii) A is isomorphic to the Heyting algebra Up(X) of upsets of an image-finite poset X. We also show that A is isomorphic to its profinite completion iff A is finitely approximable, complete, and the kernel of every fi...

Journal: :categories and general algebraic structures with applications 2014
hanamantagouda p. sankappanavar

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 variety generated by the twenty 3-element $mathbf{rdqdstsh_1}$-chains and the variety of dually quasi-de morgan boolean semi-heyting algebras--...

Journal: :Colloquium Mathematicum 1979

2006
Guram Bezhanishvili Revaz Grigolia

We show that for a variety V of Heyting algebras the following conditions are equivalent: (1) V is locally finite; (2) the V-coproduct of any two finite V-algebras is finite; (3) either V coincides with the variety of Boolean algebras or finite V-copowers of the three element chain 3 ∈ V are finite. We also show that a variety V of Heyting algebras is generated by its finite members if, and onl...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید