量子逻辑相关论文
普特南曾提出"逻辑是经验的"这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子......
本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画......
照冯·诺意曼量子逻辑理论,相应的量子分配律不成立.但照STRF,任意一个多值都是"真"与"假"的某种组合,但同一组合有不同排列.进而......
弗里德曼和普特南认为,哥本哈根解释只能特设性地引入投影法则来符合实验事实,然而由量子逻辑则可以推导出投影法则,因此量子逻辑......
模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线......
树自动机在计算理论中发挥着关键性作用,一方面它是现代计算机科学的重要基础,另一方面它还是计算理论的重要数学模型之一.加权树......
冯.诺依曼和毕克霍夫创立的量子逻辑是关于量子力学的测量语言的逻辑,它被认为揭示了弱于经典否定关系的正交补关系、经典逻辑的分......
最近,量子计算与量子计算机引起了人们的极大兴趣.一个光子的偏振或一个自旋为1/2的粒子(两态系统),对应于布尔态0和1,可构造量子......
量子光学的最近进展预示,有朝一日人们可基于在由反射镜以及少量玻璃器件等简单的光学元件构成的系 统中运动的光子来制造量子计算......
作为下一代光学频率基准的候选方案之一,27Al+的1S0-3p0跃迁谱线具有自然线宽仅8mHz,电四极频移为0,黑体辐射相对频移在环境温度为......
会议
二十世纪八十年代兴起一门新的学科——量子信息学。这门学科的建立将带来未来信息领域的革命。制备量子纠缠和实现量子逻辑是量子......
本文主要讨论了由l-值自动机(或称为基于量子逻辑的自动机)构造的格的一些性质，研究了初始格l与由l-值自动机构造的格之间的关系，并......
微观过程存在于微观世界，微观世界的客体是统称为量子的微观粒子，描述微观粒子运动规律的学科被称为量子力学，量子力学是量子理论的一......
量子力学和相对论是二十世纪两项最伟大的科学成就.它们的创立和发展不仅导致了一系列重大技术发明,而且使得人们对客观世界的运动......
量子力学和相对论是二十世纪最伟大的两项科学成就。一百多年来这两大科学成就给人类社会带来了革命性的变革，极大地推动了人类社会......
量子理论是二十世纪最伟大的科学成就之一.伴随着量子理论数学公理化而发展起来的量子逻辑理论,其研究已有八十多年历史和丰富内容......
量子力学是二十世纪物理学最重要的成果之一，是近代物理的主旋律，并且导致了物理学在观念和思想上的彻底变革，使物理学得到了全面的改......
本文主要研究了基于量子态的量子自动机和基于量子逻辑的l-值自动机的乘积及相关的性质。论文分为四个章节,包括以下内容：我们给出......
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格......
A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Pr
在量机械 Hilbert 空格形式主义，概率的解释是一个以后特定的增强程序，差不多由试验性的证据强制了，然而并非自己由数学模型激发了。......
提出了量子上下文无关文法（l-VCFG）的概念,并研究了其具有的代数性质;证明了量子上下文无关文法（l-VCFG）和Chomsky范式文法（l-VCNF）以及G......
提出量子Bchi自动机（简记为LVBA）的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研......
研究了有效代数与弱MV-有效代数的一些基本性质，给出弱MV-有效代数的一个等价定义，通过若干例子说明了相关代数结构之间的关系，并得到......
如果视＂一元算符＂为＂二元函数为真的反真值函数式＂,那么可以从原子命题递归地得到16个一元算符;如果视＂蕴涵为真＂等价于一种＂推理有效＂,那......
给出量子Müller自动机（简称LVMA）的概念，通过引入量子有限步可识别语言和量子状态构造方法，证明了在量子逻辑意义下4类量子Mü......
引进了一类新的量子逻辑一伪差代数，它是伪差偏序集和差代数的共同推广。在这个代数里，偏序不需要假设。......
首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量......
给出了理想拓扑下矩阵一致收敛的几个新结果,并得到了效应代数上理想拓扑意义下的一种新型Antosik-Swartz矩阵定理.......
在差分集中引入了特殊态射，证明了由特殊态射定义的等价类所作成的商还是差分集．...
计算机技术和物理学之间的数十年的友谊一直是一种非凡的和高尚的友谊,这种友谊已经结出了有益的果实.当今的实验物理学家和理论物......
'逻辑学'作为哲学中的一个门类,自亚里士多德奠基以来,经历了二千多年的漫长历史,迄今为止,它已发展为有三十多个分支的科......
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的......
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借......
在经典的世界中使用的是布尔逻辑系统,在一个量子的世界中使用的是量子逻辑系统,它们的代数结构分别是布尔格和正交模格,本文详细......
研究了上定向的具有Riesz分解性质的广义效应代数的结构.引入了广义效应代数中素理想的定义,证明了上定向的具有Riesz分解性质的广......
【正】 量子物理的理论结构具有高度辩证的性质。当量子实验显示出古典逻辑不能理解的“亦此亦彼”现象时.物理学家就创立“量子逻......
<正> Metric of quantum states plays an important role in quantum information theory.In this letter,we find thedeep conne......
Partition and entropy of partitions in quantum logic are introduced and their properties are investigated.The results ar......
与经典逻辑相比,量子逻辑是一种全新的逻辑构造。其独特之处主要体现在:一是数学基础的新颖性。量子逻辑是一种新的、非布尔型的非......
...
