scholarly journals Construction of some algebras of logics by using intuitionistic fuzzy filters on hoops

2021 ◽  
Vol 6 (11) ◽  
pp. 11950-11973
Author(s):  
Mona Aaly Kologani ◽  
◽  
Rajab Ali Borzooei ◽  
Hee Sik Kim ◽  
Young Bae Jun ◽  
...  
Keyword(s):  
Distributive Lattice ◽  
Algebraic Structure ◽  
Congruence Relation ◽  
Heyting Algebra ◽  
Bounded Distributive Lattice ◽  
Intuitionistic Fuzzy ◽  
Brouwerian Semilattice ◽  
Fuzzy Filters

<abstract><p>In this paper, we define the notions of intuitionistic fuzzy filters and intuitionistic fuzzy implicative (positive implicative, fantastic) filters on hoops. Then we show that all intuitionistic fuzzy filters make a bounded distributive lattice. Also, by using intuitionistic fuzzy filters we introduce a relation on hoops and show that it is a congruence relation, then we prove that the algebraic structure made by it is a hoop. Finally, we investigate the conditions that quotient structure will be different algebras of logics such as Brouwerian semilattice, Heyting algebra and Wajesberg hoop.</p></abstract>

scholarly journals The Lattice of Intuitionistic Fuzzy Filters in Residuated Lattices

2014 ◽  
Vol 2014 ◽  
pp. 1-6
Author(s):  
Zhen Ming Ma
Keyword(s):  
Distributive Lattice ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Bounded Distributive Lattice ◽  
Intuitionistic Fuzzy ◽  
Fuzzy Filters

The notion of tip-extended pair of intuitionistic fuzzy filters is introduced by which it is proved that the set of all intuitionistic fuzzy filters in a residuated lattice forms a bounded distributive lattice.

scholarly journals Maximal subalgebras of Heyting algebras

1986 ◽  
Vol 29 (3) ◽  
pp. 359-365 ◽  
Author(s):  
M. E. Adams
Keyword(s):  
Distributive Lattice ◽  
Binary Operation ◽  
Heyting Algebra ◽  
Heyting Algebras ◽  
Maximal Subalgebras ◽  
Bounded Distributive Lattice ◽  
Proposition 8

AHeyting algebra is an algebra H;∨,∧ →, 0,1) of type (2,2,2,0,0) for which H;∨,∧,0,1) is a bounded distributive lattice and → is the binary operation of relative pseudocomplementation (i.e., for a,b,c∈H,ac ∧≦birr c≦a→b). Associated with every subalgebra of a Heyting algebra is a separating set. Those corresponding to maximal subalgebras are characterized in Proposition 8 and, subsequently, are used in an investigation of Heyting algebras.

scholarly journals Fuzzy Positive Implicative Filters of Hoops Based on Fuzzy Points

Mathematics ◽  
2019 ◽  
Vol 7 (6) ◽  
pp. 566
Author(s):  
Rajab Ali Borzooei ◽  
Mona Aaly Kologani ◽  
Mahdi Sabet Kish ◽  
Young Bae Jun
Keyword(s):  
Congruence Relation ◽  
Fuzzy Filter ◽  
Brouwerian Semilattice ◽  
Fuzzy Filters

In this paper, we introduce the notions of ( ∈ , ∈ ) -fuzzy positive implicative filters and ( ∈ , ∈ ∨ q ) -fuzzy positive implicative filters in hoops and investigate their properties. We also define some equivalent definitions of them, and then we use the congruence relation on hoop defined in blue[Aaly Kologani, M.; Mohseni Takallo, M.; Kim, H.S. Fuzzy filters of hoops based on fuzzy points. Mathematics. 2019, 7, 430; doi:10.3390/math7050430] by using an ( ∈ , ∈ ) -fuzzy filter in hoop. We show that the quotient structure of this relation is a Brouwerian semilattice.

Profinite Heyting Algebras and Profinite Completions of Heyting Algebras

2009 ◽  
Vol 16 (1) ◽  
pp. 29-47
Author(s):  
Guram Bezhanishvili ◽  
Patrick J. Morandi
Keyword(s):  
Boolean Algebra ◽  
Distributive Lattice ◽  
Heyting Algebra ◽  
Boolean Algebras ◽  
Distributive Lattices ◽  
Heyting Algebras ◽  
Profinite Completion ◽  
Bounded Distributive Lattice ◽  
Recent Developments ◽  
Profinite Completions

Abstract This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to the profinite completion of a Heyting algebra (resp. bounded distributive lattice). This results in simple examples of profinite bounded distributive lattices that are not isomorphic to the profinite completion of any bounded distributive lattice. We also show that each profinite Boolean algebra is isomorphic to the profinite completion of some Boolean algebra. It is still an open question whether each profinite Heyting algebra is isomorphic to the profinite completion of some Heyting algebra.

Congruence relations on almost distributive lattices-II

2019 ◽  
pp. 2150005
Author(s):  
Gezahagne Mulat Addis
Keyword(s):  
Distributive Lattice ◽  
Congruence Relation ◽  
Congruence Class ◽  
Distributive Lattices ◽  
Ideal Formula ◽  
Congruence Relations

For a given ideal [Formula: see text] of an almost distributive lattice [Formula: see text], we study the smallest and the largest congruence relation on [Formula: see text] having [Formula: see text] as a congruence class.

scholarly journals When do L-fuzzy ideals of a ring generate a distributive lattice?

2016 ◽  
Vol 14 (1) ◽  
pp. 531-542
Author(s):  
Ninghua Gao ◽  
Qingguo Li ◽  
Zhaowen Li
Keyword(s):  
Distributive Lattice ◽  
Heyting Algebra ◽  
Lattice Structures ◽  
Boolean Ring ◽  
Fuzzy Subset ◽  
The Family ◽  
Essential Properties ◽  
Fuzzy Ideal

AbstractThe notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals. By defining an operator “⇝” between two arbitrary L-fuzzy ideals in terms of L-fuzzy extended ideals, the result that “the family of all L-fuzzy ideals in a Boolean ring is a complete Heyting algebra” is immediately obtained. Furthermore, the lattice structures of L-fuzzy extended ideals of an L-fuzzy ideal, L-fuzzy extended ideals relative to an L-fuzzy subset, L-fuzzy stable ideals relative to an L-fuzzy subset and their connections are studied in this paper.

Semiring of Generalized Interval-Valued Intuitionistic Fuzzy Matrices

2017 ◽  
pp. 132-152
Author(s):  
Debashree Manna
Keyword(s):  
Vector Space ◽  
Distributive Lattice ◽  
Intuitionistic Fuzzy ◽  
Fuzzy Algebra ◽  
Definition Of ◽  
Interval Valued

In this paper, the concept of semiring of generalized interval-valued intuitionistic fuzzy matrices are introduced and have shown that the set of GIVIFMs forms a distributive lattice. Also, prove that the GIVIFMs form an generalized interval valued intuitionistic fuzzy algebra and vector space over [0, 1]. Some properties of GIVIFMs are studied using the definition of comparability of GIVIFMs.

On EMV-Semirings

2019 ◽  
Vol 69 (4) ◽  
pp. 739-752 ◽  
Author(s):  
R. A. Borzooei ◽  
M. Shenavaei ◽  
A. Di Nola ◽  
O. Zahiri
Keyword(s):  
Distributive Lattice ◽  
Algebraic Structure ◽  
Maximal Ideal ◽  
Boolean Algebras ◽  
Algebraic Extension ◽  
Theoretic Approach ◽  
Basic Properties ◽  
Mv Algebra ◽  
Definition Of ◽  
Generalized Boolean Algebras

Abstract The paper deals with an algebraic extension of MV-semirings based on the definition of generalized Boolean algebras. We propose a semiring-theoretic approach to EMV-algebras based on the connections between such algebras and idempotent semirings. We introduce a new algebraic structure, not necessarily with a top element, which is called an EMV-semiring and we get some examples and basic properties of EMV-semiring. We show that every EMV-semiring is an EMV-algebra and every EMV-semiring contains an MV-semiring and an MV-algebra. Then, we study EMV-semiring as a lattice and prove that any EMV-semiring is a distributive lattice. Moreover, we define an EMV-semiring homomorphism and show that the categories of EMV-semirings and the category of EMV-algebras are isomorphic. We also define the concepts of GI-simple and DLO-semiring and prove that every EMV-semiring is a GI-simple and a DLO-semiring. Finally, we propose a representation for EMV-semirings, which proves that any EMV-semiring is either an MV-semiring or can be embedded into an MV-semiring as a maximal ideal.

Sign in / Sign up

Export Citation Format

Share Document