L精确置换群 *

解决了关于L精确群的Bannai和Ito问题 ,并用于确定 {l,l+ 1 ,l+ 3}精确群和 {l,l+ 2 ,l+ 3}精确群 .     

交换L*-环

我们证明一个交换整环或交换局部环是一个L*-环当且仅当它是一个O*-环.文中还证明了一些一般性的条件使之一个交换环不是L*.     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

L*-逆半群的结构

定义了L*-逆半群,并引入了半群左圈积的概念.证明了半群S是一个L*-逆半群,当且仅当S是一个型A半群Γ和一个左正则带B连同结构映射ψ的左圈积B( )ψΓ.这一结果的一个直接推论是关于左逆半群结构的著名Yamada定理.利用半群的左圈积,给出了一个非平凡的L*-逆半群的例子.     

The structure of L*-inverse semigroups

The concepts of L*-inverse semigroups and left wreath products of semigroups are introduced. It is shown that the L*-inverse semigroup can be described as the left wreath product of a type A semigroupΓand a left regular band B together with a mapping which maps the semigroupΓinto the endomorphism semigroup End(B). This result generalizes the structure theorem of Yamada for the left inverse semigroups in the class of regular semigroups. We shall also provide a constructed example for the L*-inverse semigroups by using the left wreath products.     

命题逻辑系统L*的有效集

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。     

Finite Flag-Transitive A n−2.L* .L Geometries

We classify finite flag-transitive geometries of rank n≥4 belonging to the following diagram $$(A_{n - 2} .L^ * .L)\;\;\;\; \cdot - - \cdot - \cdot \cdot \cdot \cdot \cdot - \cdot - - \cdot - - \cdot - - \cdot ^{L^* L} $$      

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

Über Maximale Monotonie von Operatoren des Typs L*ϕ·L

In a Hilbert space H, we consider operators of type A=L^*ϕ·L, where L is a closed, linear operator and ϕ is a maximal cyclically monotone, coercive operator. The operators ϕ, L, L^* and their inverses are not necessarily everywhere defined. Our principle result is a nonlinear extension of an earlier theorem of v. Neumann for A=L^*L.Theorem: Suppose that either (L^*)⁻¹ is bounded or that both L⁻¹ is bounded and, D(ϕ) υ N (L^*). The L^*ϕ·L, is maximal cyclically monotone. Maximality of sums is also considered, and the theory is applied to concrete differential operators of the form , with monotone functions f₁ and various boundary conditions.      

几类基于L*上二元聚合算子的蕴涵

L*是区间值模糊与Atanassov意义下的直觉模糊集的基本格。本文首先基于单位区间上的三角模与三角余模,引入L*上两组对偶的二元聚合算子,然后,类似于剩余蕴涵与强蕴涵的构成方法,利用引入的对偶聚合算子生成几类L*上的蕴涵,并对其性质进行讨论。     

基础L*系统的一种扩张——Lukasiewicz系统

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。     

Anticipative calculus for Lévy processes and stochastic differential equations*

We develop an anticipative calculus for Lévy processes with finite second moment for analysing anticipating stochastic differential equations. The calculus is based on the chaos expansion of square-integrable random variables in terms of iterated integrals with respect to the compensated Poisson random measure. We define a space of smooth and generalized random variables in terms of such chaos expansions, and present anticipative stochastic integration, the Wick product and the so-called 𝒮-transform. These concepts serve as tools for studying general Wick type stochastic differential equations with anticipative initial conditions. We apply the 𝒮-transform to find the unique solutions to a class of linear stochastic differential equations. The solutions can be expressed in terms of the Wick product.     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理.     

作者*读者*编者

本刊于1981年1月收到清江市第十中学刘高荣同志的来稿,对《以已知点为中点的圆锥曲线的弦方程求法》一文(原载《中学数学》1980年第二期)提出了两点商榷意见,就是说,为了使:f(x,y)=f(2x+0-x,2y_0-y) (1)确实是代表以M(x_0,y_0)为中点的圆锥曲线f(x,y)=0的弦方程,那么,首先M(x_0,y_0)不能为圆锥曲线f(x,y)=0的中心;同时还要断定以M(x_0,y_0)为中点的弦确实存在.而这两点恰恰在上述一文中被忽略了.     

G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

基于L*-格值逻辑上的BCH-代数中的直觉不分明化理想

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质.     

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.     

L不可分解极小L矩阵

本文利用向量的扩充概念，给出了一个符号模式L不可分解极小L矩阵的若干必要条件和充分条件及一种构造方法，进而得到了这类矩阵的一个组合刻画，同时对这类知阵中非零元个数的最大值进行了研究。     

On a Hardy Type General Weighted Inequality in Spaces L p(·)

A Hardy type two-weighted inequality is investigated for the multidimensional Hardy operator in the norms of generalized Lebesgue spaces L ^p(·). Equivalent necessary and sufficient conditions are found for the ${L^{p(\cdot)} \longrightarrow L^{q(\cdot)}}A Hardy type two-weighted inequality is investigated for the multidimensional Hardy operator in the norms of generalized Lebesgue spaces L ^p(·). Equivalent necessary and sufficient conditions are found for the L^p(·) ? L^q(·){L^{p(\cdot)} \longrightarrow L^{q(\cdot)}} boundedness of the Hardy operator when exponents q(0) < p(0), q(∞) < p(∞). It is proved that the condition for such an inequality to hold coincides with the condition for the validity of two-weighted Hardy inequalities with constant exponents if we require of the exponents to be regular near zero and at infinity.