Axiomatizations of the Propositional Calculus

A. N. Prior

in Formal Logic

Published in print March 1963 | ISBN: 9780198241560
Published online October 2011 | e-ISBN: 9780191680373 | DOI:
Axiomatizations of the Propositional Calculus

Show Summary Details


The laws that arise in the logic of truth-functions can be set out as a series of theorems derived from a small set of axioms. This chapter shows how this can be done. The first section discusses the system of Principia Mathematica. The second section examines single-axiom systems and systems without axioms. The last section describes normal forms and the proof of completeness.

Keywords: Principia Mathematica; axiom systems; normal forms; completeness

Chapter.  7825 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.