Abstract
The properties of the Propositional Calculus that are of interest are those that arise in studying the relation between truth and proof. These properties are important features in the study of any formal system of reasoning, and we begin with some general definitions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer Science+Business Media New York
About this chapter
Cite this chapter
Barnes, D.W., Mack, J.M. (1975). Properties of the Propositional Calculus. In: An Algebraic Introduction to Mathematical Logic. Graduate Texts in Mathematics, vol 22. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-4489-7_3
Download citation
DOI: https://doi.org/10.1007/978-1-4757-4489-7_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4757-4491-0
Online ISBN: 978-1-4757-4489-7
eBook Packages: Springer Book Archive