Zeroth-order logic

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 theory in this broader sense is complete and compact.^[2]

References

↑ Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484 .
1 2 Tao, Terence (2010), "1.4.2 Zeroth-order logic", An epsilon of room, II, American Mathematical Society, Providence, RI, pp. 27–31, doi:10.1090/gsm/117, ISBN 978-0-8218-5280-4, MR 2780010 .

Logic

Fields

Foundations

Lists

topics	Mathematical logic Boolean algebra Set theory

other	Logicians Rules of inference Paradoxes Fallacies Logic symbols

Portal
Category
WikiProject (talk)
changes

This article is issued from Wikipedia - version of the 4/28/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.