Article PDF
Avoid common mistakes on your manuscript.
References
M. Dummett —A propositional calculus with a denumerable matrix, The Journal of Symbolic Logic, vol. 24, 1959, 96–107.
K. Gödel —Zum intuitionistischer Aussagenkalkül, Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger, 69, 1932, 65–66.
W. A. Pogorzelski —Structural completeness of the propositional calculus, Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys., vol. 19, 1971, 349–351.
T. Prucnal —On structural completeness of some pure implicational calculi, Studia Logica, 30, 1972.
I. Thomas —Finite limitations of Dummett's LC, Notre Dame Journal of Formal Logic, vol. 3, 1962, 170–174.
Author information
Authors and Affiliations
Additional information
Allatum est die 22 Junii 1972
Rights and permissions
About this article
Cite this article
Dzik, W., Wroński, A. Structural completeness of Gödel's and Dummett's propositional calculi. Stud Logica 32, 69–73 (1973). https://doi.org/10.1007/BF02123815
Issue Date:
DOI: https://doi.org/10.1007/BF02123815