格蕴涵代数的LI-理想空间

In this paper,a topological space based on LI-ideals of a lattice implication algebra is constructed,and its topological properties,such as separability,compactness and connectedness are discussed.     

具有一般效用函数与允许卖空的资本市场中均衡价格向量的存在性与唯一性

对有有限多个其效用函数为一般凹函数的投资者参与的资本市场，在假设风险资产收益的联合分布为椭圆分布之下，通过考虑期望效用最大化问题，我们导出了使市场出清的均衡价格向量存在唯一的条件及其计算公式，并简要讨论了所给条件的经济意义，所得结果推广了有关资产市场均衡分析的某些结果。     

On the representation of fuzzy rules

In fuzzy logic, connectives have a meaning that, can frequently be known through the use of these connectives in a given context. This implies that there is not a universal-class for each type of connective, and because of that several continuous t-norms, continuous t-conorms and strong negations, are employed to represent, respectively, the and, the or, and the not. The same happens with the case of the connective If/then for which there is a multiplicity of models called T-conditionals or implications. To reinforce that there is not a universal-class for this connective, four very simple classical laws translated into fuzzy logic are studied.     

The Beth property and interpolation in lattice-based algebras and logics

We deal with logics based on lattices with an additional unary operation. Interrelations of different versions of interpolation, the Beth property, and amalgamation, as they bear on modal logics and varieties of modal algebras, superintuitionistic logics and varieties of Heyting algebras, positive logics and varieties of implicative lattices, have been studied in many works. Sometimes these relations can and sometimes cannot be extended to the logics without implication considered in the paper. Supported by INTAS (grant No. 04-77-7080) and by RFBR (grant No. 06-01-00358). Supported by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 307–334, May–June, 2008.     

Fuzzy-valued Propositional Logic FP~* (X)

Ｆｕｚｚｙ－ｖａｌｕｅｄＰｒｏｐｏｓｉｔｉｏｎａｌＬｏｇｉｃＦＰ~＊（Ｘ）￥ＱｉｎＫｅｙｕｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈ．，ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，４５３００２）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｔａｋｅ［０，１?..     

Subdirectly Irreducible and Directly Indecomposable Lattice Implication Algebras

Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special classes of lattice implication algebra, namely, subdi-rectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained.     

On the Characteristic of Proper Lattice Implication Algebras

ＯｎｔｈｅＣｈａｒａｃｔｅｒｉｓｔｉｃｏｆＰｒｏｐｅｒＬａｔｔｉｃｅＩｍｐｌｉｃａｔｉｏｎＡｌｇｅｂｒａｓ￥ＸｕＹａｎｇ；ＱｉｎＫｅｙｕｎ（ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ）（ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ）Ａｂｓｔ...     

An evaluation of continuous assessment in statistics courses for social scientists

This paper reports on the use of continuous assessment in a statistics course for social scientists, in which assignments are open‐ended and use real data. The students' performance in the assignments and a formal examination are compared, and it is found that when students are assessed by a combination of continuous assessment and examination, those students who carry out the majority of the assignments score higher examination marks than do the rest.     

关于格蕴涵代数与BCK-代数

证明了格蕴涵代数与有界可换 Ｂ Ｃ Ｋ代数是两类相互等价的代数系统,借此得到了一类 Ｂ Ｃ Ｋ代数的结构定理     

格蕴涵代数的区间值$(\in, \in\vee\,q)$-模糊$LI$-理想格

In the present paper, the interval-valued (∈,∈∨q)-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued (∈,∈∨q)-fuzzy LI-ideals are given. Representation theorem of interval-valued (∈,∈∨q)-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued (∈,∈∨q)-fuzzy LI-ideals in a lattice implication algebra, under the partial order ?, forms a complete distributive lattice.