Lukasiewicz p+1值逻辑系统中VDF问题的解决

为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题.     

具有V-不变凸的多目标规划的另一种方法

In this paper, optimality conditions for multiobjective programming problems having V-invex objective and constraint functions are considered. An equivalent multiobjective programming problem is constructed by a modification of the objective function.Furthermore, a (α, η)-Lagrange function is introduced for a constructed multiobjective programming problem, and a new type of saddle point is introduced. Some results for the new type of saddle point are given.     

域的全Pre-hensel赋值环

<正> 设V是域K的一个非浅显Krull赋值,我们知道V在K中确定一个Hausdorff拓朴,使K成为一个拓朴域。1978年Engler证明了;域K在其拓朴完备化域K中相对可分封闭的充要条件是V在K的任意有限代数扩域中的任二个拓展都是相依的。这个结果早在1965年戴执中就已证明了,戴执中将K的这种赋     

环的实位与实赋值

本文是对带有单位元素的交换环(以下简称环)引进实位和实赋值的概念,从而对实环建立与实域理论全然一致的基本结论(定理1与2)。这就使得实域的Artin-Lang理论可以作为环的相应理论的特款。     

交换环的实V-赋值与亚序

在带有单位元的交换环上,引入了V-赋值与亚序间的相容性,并得出了一些性质。在此基础上,对环的实V-赋值进行了讨论,从而推广了实Manis赋值理论中许多的结论。     

赋值环上的Suslin稳定性定理

本文证明了赋值环上的Suslin稳定性定理,研究并得到:当n3时,任意赋值环V上的特殊线性群SL_n(V[x])可以由该环上初等矩阵群E_n(V [x])生成,即SL_n(V [x])中每一个矩阵都可以分解成初等矩阵的乘积.进一步证明了,对于任意算术环R,当n3时, SL_n(R[x])=SL_n(R)·E_n(R[x]).     

带三角分解李代数的赋值模

设F是特征零的域，L是F上的带三角分解的李代数，L^-是相应的Loop代数．本文将定义L^-上赋值模的概念，并给出其不可约模的张量积是不可约模的等价条件．     

关于p除环结构的几个定理

本文讨论了强ｐ除环的结构与赋值，并且给出了ｐ除环是广义四元数体的一个子体的充要条件。     

算术曲面上的赋值

给出了赋值的高度的定义以及大域~$\mathbb{C}_{p,G}$ 的定义, 其中~$p$
是素数, $G \subset \mathbb{R}$ 是包含~1 的加法子群.
得出~$\mathbb{C}_{p,G}$ 是一个域, 并且是代数闭的. 在此基础上,
得到曲面赋值的完整分类. 进一步地, 对任意~$m\leqslant
n\in\mathbb{Z}$, 令~$V_{m,n}$ 为~$n-m+1$ 维的~$\mathbb{R}$-
向量空间, 其中坐标的指数从~$m$ 到~$n$. 可以推广~$\mathbb{C}_{p,G}$
的定义, 使得其中~$p$ 是一个素数, $G \subset V_{m,n}$ 是包含~1
的加法子群. 得出如果~$m\leqslant 0
\leqslant n$, 则~$\mathbb{C}_{p,G}$ 是一个域.     

交换环上M-赋值的分解

研究交换环上M-赋值的分解与合成。通过在序幺半群上引进融洽同余，交换环上M-赋值被分解为一个可消M-赋值及其剩余环的一个核为零的Manis赋值。反之，对于交换环上一个可消M-赋值及其剩余环的一个核为零的Manis赋值，该环的一个M-赋值被合成，使得它能通过所述的分解回复到两个给定的赋值。