Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole

Author:

Carnielli Walter

Publisher

Springer Berlin Heidelberg

Reference34 articles.

1. Agudelo, J.C., Carnielli, W.A.: Quantum algorithms, paraconsistent computa-tion and Deutsch’s problem. In Bhanu Prasad et al., eds.: Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22 (2005) IICAI 2005, 1609-1628. Pre-print available from CLE e-Prints vol. 5(10) (2005) ftp://logica.cle.unicamp.br/pub/e-prints/MTPs-CompQuant%28Ing%29.pdf

2. Ahmed, T.S.: Algebraic logic, where does it stand today? Bull. Symbolic Logic 11(4) (2005) 465-516

3. Beame, P., Impagliazzo, R., Krajicek, J., T. Pitassi, T., Pudlak, P.: Lower bounds on Hilbert’s Nullstellensatz and propositional proofs. Proceedings of the London Mathematical Society 73 (1996) 1-26

4. Boole, G.: The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. Macmillan, Barclay and Macmillan, London (1847) (Reprinted by Basil Blackwell, Oxford, 1965)

5. Boole, G.: The calculus of logic. Cambridge and Dublin Math. Journal 3 (1848) 183-198

Cited by 6 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Reconciling First-Order Logic to Algebra;Trends in Logic;2018

2. Revisiting four-valued logics from Maple using the Logics Explorer package;Mathematics and Computers in Simulation;2014-10

3. Non-deterministic Semantics in Polynomial Format;Electronic Notes in Theoretical Computer Science;2014-07

4. Paul Bernays and the Eve of Non-standard Models in Logic;Universal Logic: An Anthology;2012

5. The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics;Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas;2011-05-31

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3