The two-valued iterative systems of mathematical logic

London,: H. Milford, Oxford university press (1941)
  Copy   BIBTEX

Abstract

INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...

Categories

Keywords

Reprint years

1942

Call number

BC135.P73

ISBN(s)

0691095701   9780691095707

DOI

10.2307/2268608

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Post Emil L.. The two-valued iterative systems of mathematical logic. Annals of Mathematics studies, no. 5. Lithoprinted. Princeton University Press, Princeton 1941, 122 pp. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
Introduction to logic for systems modelling.Václav Pinkava - 1988 - Cambridge: Abacus Press.
Henkin Leon. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 , pp. 410–427.Andrzej Mostowski - 1955 - Journal of Symbolic Logic 20 (2):183-184.
Solvability, Provability, Definability: The Collected Works of Emil L. Post.Emil Leon Post & Martin Davis - 1994 - Birkhauser.
Post Emil L.. Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, vol. 50 , pp. 284–316.J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (1):18-19.
Rose Alan. Axiom systems for three-valued logic. The journal of the London Mathematical Society, vol. 26 , pp. 50–58.Nicholas Rescher - 1951 - Journal of Symbolic Logic 16 (4):277-277.
Henkin Leon. On mathematical induction. American mathematical monthly, vol. 67 , pp. 323–338.H. Hermes - 1962 - Journal of Symbolic Logic 27 (1):92-93.
Lyndon R. C.. Identities in two-valued calculi. Transactions of the American Mathematical Society, vol. 71 , pp. 457–465. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (1):69-70.
C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80.Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Leon Henkin. Mathematical foundations for mathematics. The American mathematical monthly, vol. 78 , pp. 463–487.Abraham Robinson - 1974 - Journal of Symbolic Logic 39 (2):333.

Analytics

Added to PP
2010-05-13

Downloads
162 (#256,321)

6 months
23 (#459,042)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.
Analytic implication.Kit Fine - 1986 - Notre Dame Journal of Formal Logic 27 (2):169-179.
The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
Post's functional completeness theorem.Francis Jeffry Pelletier & Norman M. Martin - 1990 - Notre Dame Journal of Formal Logic 31 (3):462-475.

View all 38 citations / Add more citations

References found in this work

No references found.

Add more references