In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
We give the decomposition of a Clifford monoid a^gebra into the semilattice direct sum of crossed products, and generalize the crossed-product result to a G-crossed product with an H-G-cleft extension.
The paper gives description of regular elements of the semigroup B X (D) which are defined by semilattices of the class Σ2 (X, 8), for which intersection the minimal elements is not empty. When X is a finite set, the...The paper gives description of regular elements of the semigroup B X (D) which are defined by semilattices of the class Σ2 (X, 8), for which intersection the minimal elements is not empty. When X is a finite set, the formulas are derived, by means of which the number of regular elements of the semigroup is calculated. In this case the set of all regular elements is a subsemigroup of the semigroup B X (D) which is defined by semilattices of the class Σ2 (X, 8).展开更多
In this article, we study generated sets of the complete semigroups of binary relations defined by X-semilattices unions of the class Σ8 (X, n + k +1) , and find uniquely irreducible generating set for the given semi...In this article, we study generated sets of the complete semigroups of binary relations defined by X-semilattices unions of the class Σ8 (X, n + k +1) , and find uniquely irreducible generating set for the given semigroups.展开更多
In this paper, complete semigroup binary relation is defined by semilattices of the class . We give a full description of idempotent elements of given semigroup. For the case where X is a finite set and , we derive fo...In this paper, complete semigroup binary relation is defined by semilattices of the class . We give a full description of idempotent elements of given semigroup. For the case where X is a finite set and , we derive formulas by calculating the numbers of idempotent elements of the respective semigroup.展开更多
In the paper, complete semigroup binary relation is defined by semilattices of the class . We give a full description of idempotent elements of given semigroup. For the case where X is a finite set and , we derive for...In the paper, complete semigroup binary relation is defined by semilattices of the class . We give a full description of idempotent elements of given semigroup. For the case where X is a finite set and , we derive formulas by calculating the numbers of idempotent elements of the respective semigroup.展开更多
In this article, we study generating sets of the complete semigroups of binary relations defined by X-semilattices of unions of the class Σ<sub>8</sub>(X, 5). Found uniquely irreducible generating set for...In this article, we study generating sets of the complete semigroups of binary relations defined by X-semilattices of unions of the class Σ<sub>8</sub>(X, 5). Found uniquely irreducible generating set for the given semigroups and when X is finite set formulas for calculating the number of elements in generating sets are derived.展开更多
The main aim of the current research has been concentrated to clarify the condition for converting the inverse semigroups such as S to a semilattice. For this purpose a property the so-called has been de-fined and it ...The main aim of the current research has been concentrated to clarify the condition for converting the inverse semigroups such as S to a semilattice. For this purpose a property the so-called has been de-fined and it has been tried to prove that each inverse semigroups limited with show the specification of a semilattice.展开更多
In this paper we give a full description of idempotent elements of the semigroup BX (D), which are defined by semilattices of the class ∑1 (X, 10). For the case where X is a finite set we derive formulas by means of ...In this paper we give a full description of idempotent elements of the semigroup BX (D), which are defined by semilattices of the class ∑1 (X, 10). For the case where X is a finite set we derive formulas by means of which we can calculate the numbers of idempotent elements of the respective semigroup.展开更多
Suda （2012） extended the ErdSs-Ko-Rado theorem to designs in strongly regularized semilattices. In this paper we generalize Suda＇s results in regularized semilattices and partition regularized semilattices, give ma...Suda （2012） extended the ErdSs-Ko-Rado theorem to designs in strongly regularized semilattices. In this paper we generalize Suda＇s results in regularized semilattices and partition regularized semilattices, give many examples for these semilattices and obtain their intersection theorems.展开更多
Every extended affine Lie algebra of type A1 and nullity v with extended affine root system R（A1, S）, where S is a semilattice in Rv, can be constructed from a TKK Lie algebra T（J（S）） which is obtained from the ...Every extended affine Lie algebra of type A1 and nullity v with extended affine root system R（A1, S）, where S is a semilattice in Rv, can be constructed from a TKK Lie algebra T（J（S）） which is obtained from the Jordan algebra ,：7（S） by the so-called Tits-Kantor-Koecher construction. In this article we consider the Zn-graded automorphism group of the TKK Lie algebra T（J（S））, where S is the ＂smallest＂ semilattice in Euclidean space Rn.展开更多
Under new assumptions,this paper obtains some extended versions of Ky Fan type inequality for a family of C-continuous set-valued mappings in the setting of topological semilattices.The obtained results are new and di...Under new assumptions,this paper obtains some extended versions of Ky Fan type inequality for a family of C-continuous set-valued mappings in the setting of topological semilattices.The obtained results are new and different from the corresponding known results in the literature.Some special cases of the main result are also discussed.Some examples are given to illustrate the results.展开更多
In this paper, we explore the refined semilattice of left C-wrpp semigroups, and show that a left C-wrpp semigroup S is a refined semilattice of left-R cancellative stripes if and only if it is a spined product of a C...In this paper, we explore the refined semilattice of left C-wrpp semigroups, and show that a left C-wrpp semigroup S is a refined semilattice of left-R cancellative stripes if and only if it is a spined product of a C-wrpp component and a left regular band. It is a generalization of the refined semilattice decomposition of left C-rpp semigroups.展开更多
We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prov...We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prove the adjoint semigroup of a bounded implicative BCK algebra is a Boolean algebra.展开更多
In order to study rpp semigroups, in particular, some special cases, several facts on （l）-Green’s relations and strongly rpp semigroups are given as some remarks.
As we know if D is a complete X-semilattice of unions then semigroup Bx(D) possesses a right unit iff D is an XI-semilattice of unions. The investigation of those a-idempotent and regular elements of semigroups Bx(D) ...As we know if D is a complete X-semilattice of unions then semigroup Bx(D) possesses a right unit iff D is an XI-semilattice of unions. The investigation of those a-idempotent and regular elements of semigroups Bx(D) requires an investigation of XI-subsemilattices of semilattice D for which V(D,a)=Q∈∑2(X,8) . Because the semilattice Q of the class ∑2(X,8) are not always XI -semilattices, there is a need of full description for those idempotent and regular elements when V(D,a)=Q . For the case where X is a finite set we derive formulas by calculating the numbers of such regular elements and right units for which V(D,a)=Q .展开更多
In this paper, we show the existence of weak solutions for a higher order nonlinear elliptic equation. Our main method is to show that the evolution operator satisfies the fixed point theorem for Banach semilattice.
In this paper,we initiate a study of S-fuzzy ideal(filter) of a lattice where S stands for a meet semilattice.A S-fuzzy prime ideal(filter) of a lattice is defined and it is proved that a S-fuzzy ideal(filter) of a la...In this paper,we initiate a study of S-fuzzy ideal(filter) of a lattice where S stands for a meet semilattice.A S-fuzzy prime ideal(filter) of a lattice is defined and it is proved that a S-fuzzy ideal(filter) of a lattice is S-fuzzy prime ideal(filter) if and only if any non-empty α-cut of it is a prime ideal(filter).Stone's theorem for a distributive lattice is extended by considering S-fuzzy ideals(filters).展开更多
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金Supported by the Project of Shandong Province Higher Educational Science and Technology Program(Grant No.J14LI57)the Scientific Research Foundation of Shandong Jiaotong University(Grant No.Z201428)Research Fund for the Doctoral Program of Shandong Jiaotong Uinversity
文摘We give the decomposition of a Clifford monoid a^gebra into the semilattice direct sum of crossed products, and generalize the crossed-product result to a G-crossed product with an H-G-cleft extension.
文摘The paper gives description of regular elements of the semigroup B X (D) which are defined by semilattices of the class Σ2 (X, 8), for which intersection the minimal elements is not empty. When X is a finite set, the formulas are derived, by means of which the number of regular elements of the semigroup is calculated. In this case the set of all regular elements is a subsemigroup of the semigroup B X (D) which is defined by semilattices of the class Σ2 (X, 8).
文摘In this article, we study generated sets of the complete semigroups of binary relations defined by X-semilattices unions of the class Σ8 (X, n + k +1) , and find uniquely irreducible generating set for the given semigroups.
文摘In this paper, complete semigroup binary relation is defined by semilattices of the class . We give a full description of idempotent elements of given semigroup. For the case where X is a finite set and , we derive formulas by calculating the numbers of idempotent elements of the respective semigroup.
文摘In the paper, complete semigroup binary relation is defined by semilattices of the class . We give a full description of idempotent elements of given semigroup. For the case where X is a finite set and , we derive formulas by calculating the numbers of idempotent elements of the respective semigroup.
文摘In this article, we study generating sets of the complete semigroups of binary relations defined by X-semilattices of unions of the class Σ<sub>8</sub>(X, 5). Found uniquely irreducible generating set for the given semigroups and when X is finite set formulas for calculating the number of elements in generating sets are derived.
文摘The main aim of the current research has been concentrated to clarify the condition for converting the inverse semigroups such as S to a semilattice. For this purpose a property the so-called has been de-fined and it has been tried to prove that each inverse semigroups limited with show the specification of a semilattice.
文摘In this paper we give a full description of idempotent elements of the semigroup BX (D), which are defined by semilattices of the class ∑1 (X, 10). For the case where X is a finite set we derive formulas by means of which we can calculate the numbers of idempotent elements of the respective semigroup.
基金supported by National Natural Science Foundation of China(Grant Nos.11271047 and 10971052)Natural Science Foundation of Hebei Province(Grant Nos.A2012408003 and A2012205079)+3 种基金the Talent Project Fund of Hebei Province(Grant No.2011-11)the Doctoral Fund from Hebei Normal University(Grant No.L2011B02)Scientific Research Fund of the Department of Education of Hebei Education Department(Grant No.ZH2012082)the Fundamental Research Funds for the Central University of China
文摘Suda （2012） extended the ErdSs-Ko-Rado theorem to designs in strongly regularized semilattices. In this paper we generalize Suda＇s results in regularized semilattices and partition regularized semilattices, give many examples for these semilattices and obtain their intersection theorems.
基金Supported by National Natural Science Foundation of China （Grant No. 10931006） and Foundation of Educational Department of Hubei Province in China （Grant No. B200529001） The author is grateful to the referee for some helpful suggestions.
文摘Every extended affine Lie algebra of type A1 and nullity v with extended affine root system R（A1, S）, where S is a semilattice in Rv, can be constructed from a TKK Lie algebra T（J（S）） which is obtained from the Jordan algebra ,：7（S） by the so-called Tits-Kantor-Koecher construction. In this article we consider the Zn-graded automorphism group of the TKK Lie algebra T（J（S））, where S is the ＂smallest＂ semilattice in Euclidean space Rn.
基金partially supported by NAFOSTED under Grant No.101.01-2014.17UTC under Grant No.T2017-KHCB-60
文摘Under new assumptions,this paper obtains some extended versions of Ky Fan type inequality for a family of C-continuous set-valued mappings in the setting of topological semilattices.The obtained results are new and different from the corresponding known results in the literature.Some special cases of the main result are also discussed.Some examples are given to illustrate the results.
基金the Natural Science Foundation of Huizhou University （No. C207.0202）.
文摘In this paper, we explore the refined semilattice of left C-wrpp semigroups, and show that a left C-wrpp semigroup S is a refined semilattice of left-R cancellative stripes if and only if it is a spined product of a C-wrpp component and a left regular band. It is a generalization of the refined semilattice decomposition of left C-rpp semigroups.
文摘We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prove the adjoint semigroup of a bounded implicative BCK algebra is a Boolean algebra.
基金The research of the second author was supported by the NSFC (10871161)
文摘In order to study rpp semigroups, in particular, some special cases, several facts on （l）-Green’s relations and strongly rpp semigroups are given as some remarks.
文摘As we know if D is a complete X-semilattice of unions then semigroup Bx(D) possesses a right unit iff D is an XI-semilattice of unions. The investigation of those a-idempotent and regular elements of semigroups Bx(D) requires an investigation of XI-subsemilattices of semilattice D for which V(D,a)=Q∈∑2(X,8) . Because the semilattice Q of the class ∑2(X,8) are not always XI -semilattices, there is a need of full description for those idempotent and regular elements when V(D,a)=Q . For the case where X is a finite set we derive formulas by calculating the numbers of such regular elements and right units for which V(D,a)=Q .
基金The Key Project of Jilin University of Finance and Economics(2018Z02)the NSF(11701209)of China
文摘In this paper, we show the existence of weak solutions for a higher order nonlinear elliptic equation. Our main method is to show that the evolution operator satisfies the fixed point theorem for Banach semilattice.
基金UGC,New Delhi for financial support through scheme F.No33-109/2007(SR)
文摘In this paper,we initiate a study of S-fuzzy ideal(filter) of a lattice where S stands for a meet semilattice.A S-fuzzy prime ideal(filter) of a lattice is defined and it is proved that a S-fuzzy ideal(filter) of a lattice is S-fuzzy prime ideal(filter) if and only if any non-empty α-cut of it is a prime ideal(filter).Stone's theorem for a distributive lattice is extended by considering S-fuzzy ideals(filters).
