This is a preview of subscription content, log in via an institution to check access.
Bibliography
W.Ackermann, ‘Grundgedanken einer typenfreien Logik’, in Y.Bar-Hillel, E.Poznanski et al., ed., Essays on the Foundations of Mathematics (Jerusalem: The Hebrew University Press, 1961), pp. 143–155.
C. C.Chang, ‘Infinite-valued Logic as a Basis for Set Theory’, in Y.Bar-Hillel, ed., Logic, Methodology, and Philosophy of Science: Proceedings of the 1964 International Congress (Amsterdam: North Holland Publishing Company, 1965), pp. 93–100.
F. B.Fitch, Symbolic Logic (New York: The Ronald Press, 1952).
L. S.Hay, ‘Axiomatization of the Infinite-valued Predicate Calculus’, The Journal of Symbolic Logic 28 (1963), 77–86.
B.Scarpellini, ‘Die Nichtaxiomatisierbarkeit des unendlichwertigen Pradikatenkalküls von Lukasiewicz’, The Journal of Symbolic Logic, vol. 27 (1962), pp. 159–170.
K.Schütte, Beweistheorie (Berlin: Springer-Verlag, 1960).
T.Skolem, ‘Bermerkungen zum Komprehensionsaxiom’, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (1957), 1–17.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
White, R.B. The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz. J Philos Logic 8, 509–534 (1979). https://doi.org/10.1007/BF00258447
Issue Date:
DOI: https://doi.org/10.1007/BF00258447