Article contents
A note on finite axiomatization of partial propositional calculi
Published online by Cambridge University Press: 12 March 2014
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
- Copyright
- Copyright © Association for Symbolic Logic 1967
References
- 2
- Cited by