摘要
萨姆森·阿布拉姆斯基和鲍勃·科克。 2004.量子协议的分类语义。 第19届IEEE计算机科学逻辑研讨会论文集。 IEEE，415--425。 谷歌学者 
数字图书馆 
埃里克·阿伦德（Eric Allender）、彼得·布尔吉塞（Peter Bürgisser）、约翰·科杰尔加德·佩德森（Johan Kjeldgaard-Pedersen）和彼得·布罗·米尔特森（Peter Bro Miltersen）。 2009年。关于数值分析的复杂性。 SIAM J.计算。 38, 5 (2009), 1987--2006. 谷歌学者 数字图书馆 索加塔·巴苏和蒂埃里·泽尔。 2010.多项式层次、贝蒂数和托达斯定理的真正类似物。 计算数学基础10，4（2010），429-454。 谷歌学者 数字图书馆 Enrico G.Beltrametti、Gianni Cassinelli和Gian-Carlo Rota。 1984年，《数学及其应用百科全书》。 量子力学的逻辑，第15卷。 剑桥大学出版社。 谷歌学者 弗朗西丝卡·本安蒂、詹姆斯·德梅尔、维塞林·德伦斯基和普拉门·科夫。 2003.矩阵多项式恒等式的计算方法——一项调查。 在《多项式恒等式和组合方法》中，Giambruno、Regev和Zaicev（编辑）。 纯数学和应用数学讲义，第234卷。 德克尔，141-178。 谷歌学者 加勒特·伯霍夫（Garrett Birkhoff）和约翰·冯·诺依曼（John Von Neumann）。 1936年，量子力学的逻辑。 《数学年鉴》37，4（1936），823-843。 谷歌学者 交叉引用 
A Björner、M Las Vergnas、B Sturmfels、Neil White和GM Ziegler。 1999.定向拟阵。 数学及其应用百科全书，第46卷。 谷歌学者 Lenore Blum、Mike Shub和Steve Smale。 1989.实数计算和复杂性理论：W-完备性、递归函数和通用机器。 牛市。 阿默尔。 数学。 Soc 21，1（1989），1--46。 谷歌学者 交叉引用 Lenore Blum、Steve Smale、Michael Shub和Felipe Cucker。 1998年，复杂性和实际计算。 斯普林格。 谷歌学者 伊贡·博格尔（Egon Börger）、埃里希·格拉德尔（Erich Grädel）和尤里·古雷维奇（Yuri Gurevich）。 2001.经典决策问题。 斯普林格。 谷歌学者 奥利维尔·伯内斯（Olivier Bournez）、菲利佩·库克（Felipe Cucker）、保林·雅各布·德诺罗斯（Paulin JacobéDe Naurois）和珍妮·伊夫·马里恩（Jean-Yves Marion）。 任意结构的隐含复杂性：量词交替。 信息与计算204，2（2006），210--230。 谷歌学者 数字图书馆 杰弗里·布布。 2007.从量子逻辑的角度进行量子计算。 量子信息与计算7，4（2007），281--296。 谷歌学者 数字图书馆 彼得·布尔吉塞（Peter Bürgisser）。 2000.代数复杂性理论的完备性和简化，第7卷。 斯普林格。 谷歌学者 交叉引用 彼得·布尔吉塞和菲利佩·库克。 2006.数字计算的复杂性计算II：代数和半代数集。 《复杂性杂志》22，2（2006），147--191。 谷歌学者 数字图书馆 彼得·布尔吉塞和菲利佩·库克。 2009年。外来量词、复杂性类和完整问题。 计算数学基础9，2（2009），135-170。 谷歌学者 数字图书馆 彼得·比尔吉塞和彼得·谢布列克纳。 2009年。关于计算代数变体的分量的复杂性。 符号计算杂志44，9（2009），1114--1136。 谷歌学者 数字图书馆 Stanley Burris和Hantamantagouda P.Sankappanavar。 1981.通用代数课程。 数学研究生教材，第78卷。 斯普林格。 谷歌学者 约翰·坎尼。 1988年，PSPACE中的一些代数和几何计算。 第二十届ACM计算机理论学术研讨会论文集。 美国医学会，460-467。 谷歌学者 数字图书馆 Ashok K.Chandra、Dexter C.Kozen和Larry J.Stockmeyer。 1981.替代。 ACM期刊（JACM）28，1（1981），114-133。 谷歌学者 数字图书馆 胡比·陈。 2009年，逻辑、复杂性和代数的汇聚。 ACM计算调查（CSUR）42，1（2009），2。 谷歌学者 数字图书馆 鲍勃·科克、大卫·摩尔和亚历克斯·威尔斯。 操作量子逻辑的当前研究。 物理基础理论111，施普林格。 DOI:10.1007/978-94-017-1201-9 谷歌学者 交叉引用 斯蒂芬·库克（Stephen A.Cook）。 1971.理论证明程序的复杂性。 第三届ACM计算机理论年会论文集。 美国医学会，151-158。 谷歌学者 数字图书馆 David A.Cox、John Little和Donal O'Shea。 2007.理想、多样性和算法。 斯普林格。 谷歌学者 数字图书馆 菲利佩·库克。 1993年。关于量词消除的复杂性：结构方法。 《计算机杂志》36，5（1993），400--408。 谷歌学者 交叉引用 菲利佩·库克和艾伦·布里克尔。 2007年，关于并行和交替时间的注释。 《复杂性杂志》23，4（2007），594-602。 谷歌学者 数字图书馆 菲利佩·库克和迪马·格里戈里耶夫。 1997.关于实图灵机对二进制输入的功率。 SIAM J.计算。 26, 1 (1997), 243--254. 谷歌学者 数字图书馆 菲利佩·库克和弗朗西斯科·罗塞洛。 1992年。关于Blum，Shub&Smale模型的一些问题的复杂性。 拉丁语“ 92.施普林格，117-129。 谷歌学者 数字图书馆 马克·德伯格（Mark De Berg）、马克·范·克雷维尔德（Marc Van Kreveld）、马克·阿维马斯（Mark Overmars）和奥特弗里德·张（Otfried Cheong）。 2000.计算几何、算法和应用。 斯普林格。 谷歌学者 J.Michael Dunn、Tobias J.Hagge、Lawrence S.Moss和Zhenghan Wang。 2005.由量子计算驱动的量子逻辑。 符号逻辑杂志70，02（2005），353--359。 谷歌学者 交叉引用 埃尔维·福尼尔（HervéFournier）和帕斯卡尔·科伊兰（Pascal Koiran）。 1998.下限比雷亚尔更容易吗？ 第三十届ACM计算机理论年会论文集。 美国医学会，507--513。 谷歌学者 数字图书馆 埃尔维·福尼尔（HervéFournier）和帕斯卡尔·科伊兰（Pascal Koiran）。 2000.下界并不比实数更容易：哲学内部。在自动机、语言和编程中。 施普林格，832-843。 谷歌学者 数字图书馆 马克·朱斯蒂和乔斯·海因茨。 1991年，算法——急速前进——将组成沙丘的各种成分倒入复合物中。 代数几何中的有效方法。 施普林格，169-194。 谷歌学者 约翰·B·古德。 1994.可访问的电话簿。 《符号逻辑杂志》59，01（1994），92--105。 谷歌学者 数字图书馆 埃里希·格拉德尔（Erich Grädel）和克劳斯·梅尔（Klaus Meer）。 1996.实数上的描述性复杂性理论。 詹姆斯·雷内加（James Renegar）、迈克尔·舒布（Michael Shub）和史蒂夫·斯梅尔（Steve Smale）（编辑）在第二十七届美国计算机学会（ACM）计算机理论研讨会上发表论文集。 应用数学讲座，第32卷。 AMS，381--403。 谷歌学者 数字图书馆 D.于格里戈夫。 1988.决定Tarski代数的复杂性。 符号计算杂志5，1（1988），65--108。 谷歌学者 数字图书馆 马丁·格罗。 2012.带排除子项的图的定点可定义性和多项式时间。 《美国医学会杂志》（JACM）59，5（2012），27。 谷歌学者 数字图书馆 托比亚斯·J·哈格。 2007.QL（n）确定n.符号逻辑杂志72，04（2007），1194--1196。 谷歌学者 交叉引用 约翰·哈丁。 2009.量子逻辑和范畴量子力学之间的联系。 《国际理论物理杂志》48，3（2009），769--802。 谷歌学者 交叉引用 Joos Heintz、Marie-Françoise Roy和Pablo Solernó。 1990年，《塔尔斯基·塞登堡原则》，《法国社会数学公报》118，1（1990），101-126。 谷歌学者 交叉引用 克里斯蒂安·赫尔曼、冢本康之和马丁·齐格勒。 2015.关于有限维向量空间相关结构类的可满足性问题。 第16届逻辑与计算复杂性国际研讨会论文集。 谷歌学者 克里斯蒂安·赫尔曼。 2010年。关于有限von Neumann因子投影格的方程理论。 符号逻辑杂志75，03（2010），1102--1110。 谷歌学者 交叉引用 Christian Herrmann、Johanna Sokoli和Martin Ziegler。 2013年。对于真正的非确定性多时Blum-Shub-Smale机器，跨产品条款完全可满足。 EPTCS 128（2013），85-92。 谷歌学者 交叉引用 克里斯蒂安·赫尔曼和马丁·齐格勒。 2011.量子可满足性的计算复杂性。 2011年第26届IEEE计算机科学逻辑年度研讨会（LICS）。 IEEE标准，175-184。 谷歌学者 数字图书馆 威尔弗里德·霍奇斯。 1993年，模型理论。 第42卷。 剑桥大学出版社。 谷歌学者 安德拉斯·胡恩（András P.Huhn）。 1972年施瓦赫分配动词ände。 I//科学学报。 数学。 （塞格德）33，1--4（1972），297--305。 谷歌学者 加布里埃拉·杰罗尼莫（Gabriela Jeronimo）、特蕾莎·克里克（Teresa Krick）、胡安·萨比亚（Juan Sabia）和马丁·桑布拉（Martín Sombra）。 2004。Chow形式的计算复杂性。计算数学基础4，1（2004），41-117。 谷歌学者 数字图书馆 帕斯卡·科伊兰。 1996年希尔伯特的Nullstellensatz是多项式层次结构。 《复杂性杂志》12，4（1996），273--286。 谷歌学者 数字图书馆 帕斯卡·科伊兰。 1999.实际尺寸问题是NPR-complete。 《复杂性杂志》15，2（1999），227--238。 谷歌学者 数字图书馆 格雷戈伊尔·勒塞夫，2000年。 通过几何分辨率计算代数簇的等维分解。 2000年符号和代数计算国际研讨会论文集。 美国医学会，209--216。 谷歌学者 数字图书馆 G.W.麦基。 1963.量子力学的数学基础。 纽约州本杰明。 谷歌学者 马尔滕·马克思。 2007.模态逻辑的复杂性。 模态逻辑手册3（2007），139-179。 谷歌学者 交叉引用 Ju V.Matijasević。 1970.可枚举集是丢番图。 多克。 阿卡德。 Nauk SSSR 191，2（1970），279--282。 谷歌学者 克劳斯·梅尔（Klaus Meer）、克里斯蒂安·米肖（Christian Michaux）等。 1997年，真实结构复杂性理论综述。 比利时数学学会公报——西蒙·斯特文4，1（1997），113-148。 谷歌学者 交叉引用 克里斯蒂安·米肖（Christian Michaux）。 1989年，Une remarqueápropos des machines sur R introduites par Blum，Shub et Smale。 CR学院。 科学。 巴黎309，1（1989），435-437。 谷歌学者 克里斯蒂安·米肖（Christian Michaux）。 1994.非标准实数上的P≠NP意味着R上的P≠NP。理论计算机科学133，1（1994），95-104。 谷歌学者 数字图书馆 约翰·冯·诺依曼。 1955.量子力学数学基础。 普林斯顿大学数学里程碑排名第二。 普林斯顿大学出版社。 谷歌学者 克里斯托斯·帕帕迪米特里欧。 1994.计算复杂性。 Addison Wesley酒吧。 公司。 谷歌学者 姆拉登·帕维奇奇。 2007.量子逻辑和量子计算。 在量子逻辑和量子结构手册：量子结构。 爱思唯尔，755-792。 谷歌学者 君士坦丁·皮龙。 1964.公理量化。 《Helvetica Physica Acta》37，4--5（1964），439。 谷歌学者 布鲁诺·波扎特。 1995年，《Les Petits Cailloux:Une Approche Modèle-Théorique de L'algorithmie》。 阿莱亚斯。 谷歌学者 比约恩·普南。 2009.用普遍存在公式表征有理数中的整数。 《美国数学杂志》131，3（2009），675--682。 谷歌学者 交叉引用 雅洛斯·瓦·皮卡茨（Jaros aw Pykacz）。 作为计算基础的量子逻辑。 《国际理论物理杂志》39，3（2000），839--840。 谷歌学者 交叉引用 詹姆斯·雷内加。 1992.关于实一阶理论的计算复杂性和几何。 符号计算杂志13，3（1992），255-352。 谷歌学者 数字图书馆 尤尔根·里希特·盖伯特。 有向拟阵和多面体的普适性定理。 康斯坦普。 数学。 223（1999），269-292。 谷歌学者 交叉引用 利奥波多·罗曼。 2006.正交模格中量词的特征。 类别16的理论与应用，10（2006），206-217。 谷歌学者 马库斯·谢弗。 2010.一些几何和拓扑问题的复杂性。 在图形绘制中。 施普林格，334--344。 谷歌学者 数字图书馆 托马斯·谢弗（Thomas J.Schaefer）。 1978年，可满足性问题的复杂性。 第十届ACM计算机理论年会论文集。 ACM，216-226。 谷歌学者 数字图书馆 彼得·谢卜勒希纳。 2012.Castelnuovo——Mumford正则性和计算光滑投影变种的de Rham上同调。 计算数学基础12，5（2012），541--571。 谷歌学者 数字图书馆 彼得·肖尔。 1991年。伪线的可拉伸性为NP-hard。 应用几何与离散数学——维克托·克莱·费斯特施里夫（Victor Klee Festschrift）、P.Gritzmann和B.Sturmfels（Eds.）。 美国离散数学和理论计算机科学DIMACS系列。 数学。 Soc.，Providence，RI 4（1991），531--554。 谷歌学者 史蒂夫·斯梅尔。 1998.下个世纪的数学问题。 数学智能2，20（1998），7-15。 谷歌学者 交叉引用 阿尔弗雷德·塔斯基。 1948.初等代数和几何的判定方法。 技术报告。 谷歌学者 阿尔弗雷德·塔斯基。 1953.不可判定性证明的一般方法。 《逻辑与数学基础研究》13（1953），1-34。 谷歌学者 交叉引用 约翰·塔克（John V.Tucker）和杰弗里·扎克（Jeffery I.Zucker）。 2001.多分类代数上的可计算函数和半可计算集。 在《计算机科学逻辑手册》中，Abramsky、Gabbay和Maybaum（编辑）。 第5卷。 397--525. 谷歌学者 数字图书馆 英明生。 2005.基于量子逻辑的计算理论（I）。 理论计算机科学344，2（2005），134-207。 谷歌学者 数字图书馆 汉斯·萨森豪斯（Hans Zassenhaus）。 1948年，尤伯·埃宁算法（u-ber einen algorithmus zur）在罗姆格鲁彭（raumgruppen）取得了最佳成绩。 《数学评论》Helvetici 21，1（1948），117-141。 谷歌学者 交叉引用 小东尼克·张。 1992.实数模型中神经网络学习的复杂性。 《物理与计算研讨会论文集》（PhysComp'92）。 IEEE，146-150。 谷歌学者 交叉引用
建议
FLew-代数中的项可满足性 FL ew-代数通过交换和弱化形成了全Lambek微积分的代数语义。 我们研究了FL ew项和FL ew代数之间的两种关系，称为可满足性和正可满足性。 对于每个FL ew-代数。。。 基于量子逻辑的计算理论（I） 经典计算理论的（元）逻辑是布尔（二值）逻辑。 量子逻辑是由Birkhoff和von Neumann在60多年前提出的量子力学逻辑。 它目前被理解为一种逻辑，其真理。。。 量化布尔公式的可满足性过程 可满足性的叛逆问题 我们提出了一个量化布尔公式的可满足性检验器QSAT和一个限制Q 坐 CNF公司 将QSAT转换为未量化的合取范式公式。 QSAT使用的程序是用等效公式替换公式的子公式。 通过。。。
