Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-19T04:06:08.332Z Has data issue: false hasContentIssue false
  • English
  • Français

A note on finite axiomatization of partial propositional calculi

Published online by Cambridge University Press:  12 March 2014

W. E. Singletary
W. E. Singletary*
Affiliation:
The Pennsylvania State University
Get access Rights & Permissions [Opens in a new window]

Extract

At the Princeton Bicentennial in 1946 Tarski posed the question as to whether or not certain problems connected with partial propositional calculi were recursively solvable. Since that time the specific problems mentioned by Tarski as well as a number of related problems have been shown to be recursively unsolvable. Such results are due to Post and Linial [5], Yntema [9], Gladstone [2], Ihrig [3] and Singletary [7], [8].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 32 , Issue 3 , 09 October 1967 , pp. 352 - 354
Copyright
Copyright © Association for Symbolic Logic 1967

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Church, A., Introduction to mathematical logic, vol. 1, Princeton University Press, Princeton, N. J., 1956.Google Scholar
[2]Gladstone, M. D., Some ways of constructing a propositional calculus of any required degree of unsolvability, Transactions of the American Mathematical Society, vol. 118 (1965), pp. 192–210.CrossRefGoogle Scholar
[3]Harrop, R., A relativization procedure for propositional calculi with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617.CrossRefGoogle Scholar
[4]Ihrig, A. H., The Post Lineal theorems for arbitrary recursively enumerable degrees of unsolvability, Notre Dame journal of formal logic, vol. 4 (1965), pp. 54–71.Google Scholar
[5]Kleene, S. C., Introduction to metamathematics, D. Van Nostrana Co., Inc., New York, 1952.Google Scholar
[6]Linial, S. and Post, E. L., Recursive unsolvability of the deducibility, Tarsk's completeness and independence of axioms problems of the propositional calculus, Bulletin of the American Mathematical Society, vol. 55 (1949), p. 50 (Abstract).Google Scholar
[7]Lukasiewicz, J. and Tarski, A., Untersuchungen über den Assagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, vol. 23 (1930), pp. 30–50.Google Scholar
[8]Singletary, W. E., A Complex of problems proposed by Post, Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 105–109.CrossRefGoogle Scholar
[9]Singletary, W. E., Doctoral Dissertation, University of Illinois, Urbana, Ill., 1964.Google Scholar
[10]Yntema, M. K., A detailed argument for the Post-Lineal theorems, Notre Dame journal of formal logic, vol. 5 (1964), pp. 37–50.CrossRefGoogle Scholar