请输入您要查询的百科知识:

 

词条 Zeroth-order logic
释义

  1. References

Zeroth-order logic is first-order logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the propositional calculus,[1] but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values.[2] Every zeroth-order language in this broader sense is complete and compact.[2]

References

1. ^{{citation | last = Andrews | first = Peter B. | doi = 10.1007/978-94-015-9934-4 | edition = Second | isbn = 1-4020-0763-9 | mr = 1932484 | page = 201 | publisher = Kluwer Academic Publishers, Dordrecht | series = Applied Logic Series | title = An introduction to mathematical logic and type theory: to truth through proof | url = https://books.google.com/books?id=nV4zAsWAvT0C&pg=PA201 | volume = 27 | year = 2002}}.
2. ^{{citation | last = Tao | first = Terence | authorlink = Terence Tao | contribution = 1.4.2 Zeroth-order logic | doi = 10.1090/gsm/117 | isbn = 978-0-8218-5280-4 | mr = 2780010 | pages = 27–31 | publisher = American Mathematical Society, Providence, RI | title = An epsilon of room, II | url = https://books.google.com/books?id=hdm-AwAAQBAJ&pg=PA2 | year = 2010}}.
{{portal|Logic}}{{Logic}}

2 : Propositional calculus|Systems of formal logic

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/13 22:29:06