Fragments of many-valued statement calculi. (English) Zbl 0085.24303

Full Text: DOI


[1] 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.
[2] Emil L. Post, Introduction to a General Theory of Elementary Propositions, Amer. J. Math. 43 (1921), no. 3, 163 – 185. · doi:10.2307/2370324
[3] Robert McNaughton, A theorem about infinite-valued sentential logic, J. Symbolic Logic 16 (1951), 1 – 13. · Zbl 0043.00901 · doi:10.2307/2268660
[4] J. Barkley Rosser and Atwell R. Turquette, Many-valued logics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951. · Zbl 0047.01503
[5] D. Hilbert and W. Ackermann, Grundzüge der Theoretischen Logik, 2d ed., Berlin, Springer, 1938.
[6] 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.
[7] Alan Rose, The degree of completeness of the ℵ\(_{0}\)-valued Łukasiewicz propositional calculus, J. London Math. Soc. 28 (1953), 176 – 184. · Zbl 0053.20002 · doi:10.1112/jlms/s1-28.2.176
[8] M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys. 42 (1935), no. 1, 221 – 242 (German). · doi:10.1007/BF01733295
[9] Alfred Tarski, Logic, semantics, metamathematics. Papers from 1923 to 1938, Oxford at the Clarendon Press, 1956. Translated by J. H. Woodger. · Zbl 0075.00702
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.