正交模格相关论文
普特南曾提出"逻辑是经验的"这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子......
欧文·卡普兰斯基是美国著名数学家,生前曾担任美国数学会主席、美国国家数学科学研究所所长、美国国家科学院院士和美国艺术与科......
格论是代数学的一个分支,它是在集合系统上定义逻辑运算,并研究它的拓扑性质的一门学科。19世纪英国数学家George Boole尝试对传统......
本文的主要内容包括三个部分，主要是在正交模格的基础上进行了一系列代数性质的讨论. 第一部分，介绍正交模格簇V(MO2)的一些概念......
本文首先利用极大链中的二元覆盖主同余关系以及根据同余关系的分配性，证明了任意有限链的同余关系格是布尔格，进而又证明了具有可数......
量子理论是20世纪最伟大的科学成就之一.伴随着量子理论公理化问题而发展起来的量子逻辑理论，有悠久历史和丰富内容.本文研究了近十......
本文主要研究了基于量子态的量子自动机和基于量子逻辑的l-值自动机的乘积及相关的性质。论文分为四个章节,包括以下内容：我们给出......
本文研究了自同构群AutLκ和AutFV(LK)(n)的结构问题.利用了正交模格及其自同构群的直积分解方法,获得了正交模格Lκ和自由代数FV(......
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格......
文章讨论了正交模格上的换位子及关联算子之间的联系。...
引入了标准正交模格及正交模格的理想完备性的概念，证明了一类正交模格的滤子之集在某种拓扑之下构成一个Boolean空间．另外，从元素的......
提出了量子上下文无关文法（l-VCFG）的概念,并研究了其具有的代数性质;证明了量子上下文无关文法（l-VCFG）和Chomsky范式文法（l-VCNF）以及G......
研究了次直积不可约有限模正交格MOk的自同构群的构造，先讨论自同构群Aut（MOk）的元素的类型，｜MOk｜与｜Aut（MOk）｜的关系，用不完全归纳法得到自同......
在效应代数中引入了正则元和正规元的概念并研究了它们的性质．首先证明了C（E）∈（E）CP（E），c（E）cN（E）cS（E），其中N（E）是效应代数E的所有正规元组成的集......
文章讨论由n个元素生成的自由正交模格Fmo2(n)上的代数结构,得到一些较好的结果....
文章着重探讨了正交模格中元素的成分理论，并在此基础上引入了元素的宽度概念，由此得出了正交模格中各元素的成分之集也构成一个正交......
文章给出了正交模格簇的直积的自同构群与自同构群的直积的同构关系。并分有限簇和可数无限簇两种情况给以证明。......
本语文在ＤＭ格上建立了一个与著名的ｓｔｏｎｅ定理相平行的定理，并首次提出了Ｓ半环概念，讨论了Ｓ半环的某些性质 。......
本文比较系统地控计了正交模格的一些代数性质,得到了拟Heyting代数与弱BL代数等新的几类代数系统。......
首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量......
介绍了正交模格上同余关系的性质，给出正交模格上一个二元关系是同余关系的条件，证明了正交模格上的理想是正交模理想的充分必要条件......
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的......
在经典的世界中使用的是布尔逻辑系统,在一个量子的世界中使用的是量子逻辑系统,它们的代数结构分别是布尔格和正交模格,本文详细......
文章先利用自同构映射保有限并的性质研究了一般正交模格的次直积的自同构群与自同构群的次直积的关系，再用块置换的方法研究了MOk......
美国数学家卡普兰斯基主要研究代数学,在环论、模论、群论等代数领域做出了里程碑式的成果。本文通过文献考证和概念分析,重点对卡......
量子计算的思想源于物理与计算之间的联系.由于可逆性是量子物理的一个重要特征,所以该问题可追溯到Bennett于1973年证明了任意的T......
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Mülle......
量子信息与量子计算的出现是信息科学发展的必然选择。介绍量子逻辑的发展历史、研究现状以及建立在Hilbert封闭子空间基础上的正......
