关于R0-代数的公理系统

来源 :数学物理学报:A辑 | 被引量 : 0次 | 上传用户:TSSSP
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.
其他文献
该文研究Hilbert空间H上正则射影对(P,Q)的性质和结构,给出H上有界线性算子A表示为两个正交射影乘积的充分必要条件.
内部控制有效性,是衡量一个企业现代管理的重要标志。安然事件爆发后,美国颁布了萨班斯法案,通过立法强制公司建立有效透明的监督体制,以杜绝诸如安然、世通事件再次发生。之后受
近两年,由于调整农业产业结构政策的驱动,很多农民,尤其是城郊的农民都搭起了日光节能温室,随之而来的是温室盖帘用量猛增.在远离城郊靠近黄河边的洼地水坑及一些排水沟中到
期刊
基于一个含有控制参数的修正Lagrangian函数,该文建立了一个求解非线性约束优化问题的修正Lagrangian算法.在一些适当的条件下,证明了控制参数存在一个阀值,当控制参数小于这一阀
给出了R^n上的线性同构和线性流具有极限跟踪性的特征:线性同构具有极限跟踪性当且仅当其对应的矩阵为双曲的;线性流具有极限跟踪性当且仅当其对应矩阵的所有特征根均具有非零
唐人选唐诗今存13种,其中有四种选录孟浩然诗作,特点各异。盛唐选本收录孟诗数量较多、篇幅比重较大,至于中晚唐渐趋冷落,但体裁上较一致地偏好于近体诗。而内容风格方面,盛
该文给出了一个求解非线性系统的信赖域方法.主要思想是通过引入松弛变量,将问题等价地转化为带非负约束的最优化问题.作者利用有效集策略,在每次迭代中只需求解一个低维的信赖域
设H是一个Hilbert空间.B(H)表示所有H到H的有界线性算子构成的Banach空间.设T={f(z):f(z)=zI-∞∑ n=2z^n An在单位圆盘|z|〈1上解析,其中系数An是H到H的紧正Hermitian算子,I表示H上的
基于被积函数在n次第一类和第二类Chebyshev多项式的零点处的差商,该本构造了两种Gauss型求积公式,这些求积公式包含了某些已知结果作为特例。更重要的是这些新结果与Gauss-Tur
编辑同志:  我是甘肃省静宁县的一名农村青年。我们县是一个国家级的贫困县,农村剩余劳动力很多,而田地相对较少。最近,我们村子及邻村突然兴起养獭兔热,有的已经买回了兔种。这
期刊