Fragments of many-valued statement calculi
HTML articles powered by AMS MathViewer
- by Alan Rose and J. Barkley Rosser
- Trans. Amer. Math. Soc. 87 (1958), 1-53
- DOI: https://doi.org/10.1090/S0002-9947-1958-0094299-1
- PDF | Request permission
References
- Jan Łukasiewicz and Alfred Tarski, Untersuchungen über den Aussagenkalkü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.
- Emil L. Post, Introduction to a General Theory of Elementary Propositions, Amer. J. Math. 43 (1921), no. 3, 163–185. MR 1506440, DOI 10.2307/2370324
- Robert McNaughton, A theorem about infinite-valued sentential logic, J. Symbolic Logic 16 (1951), 1–13. MR 41799, DOI 10.2307/2268660
- J. Barkley Rosser and Atwell R. Turquette, Many-valued logics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951. MR 0051791 D. Hilbert and W. Ackermann, Grundzüge der Theoretischen Logik, 2d ed., Berlin, Springer, 1938. T. Motzkin, Beiträge zur Theorie der Linear Ungleichungen, Doctoral dissertation, University of Basel, 1933 (Jerusalem, Azriel Printers, 1936). An English translation of this, under the title The theory of linear inequalities and with the reference number T-22, was published on March 7, 1952 by the RAND Corp., Santa Monica, California.
- Alan Rose, The degree of completeness of the $\aleph _0$-valued Łukasiewicz propositional calculus, J. London Math. Soc. 28 (1953), 176–184. MR 53881, DOI 10.1112/jlms/s1-28.2.176
- M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys. 42 (1935), no. 1, 221–242 (German). MR 1550430, DOI 10.1007/BF01733295
- Alfred Tarski, Logic, semantics, metamathematics. Papers from 1923 to 1938, Oxford, at the Clarendon Press, 1956. Translated by J. H. Woodger. MR 0078296
Bibliographic Information
- © Copyright 1958 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 87 (1958), 1-53
- MSC: Primary 02.00
- DOI: https://doi.org/10.1090/S0002-9947-1958-0094299-1
- MathSciNet review: 0094299