Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Fragments of many-valued statement calculi


Authors: Alan Rose and J. Barkley Rosser
Journal: Trans. Amer. Math. Soc. 87 (1958), 1-53
MSC: Primary 02.00
MathSciNet review: 0094299
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [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. MR 1506440, http://dx.doi.org/10.2307/2370324
  • [3] Robert McNaughton, A theorem about infinite-valued sentential logic, J. Symbolic Logic 16 (1951), 1–13. MR 0041799 (13,3e)
  • [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. MR 0051791 (14,526a)
  • [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 ℵ₀-valued Łukasiewicz propositional calculus, J. London Math. Soc. 28 (1953), 176–184. MR 0053881 (14,834d)
  • [8] M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys. 42 (1935), no. 1, 221–242 (German). MR 1550430, http://dx.doi.org/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. MR 0078296 (17,1171a)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.00

Retrieve articles in all journals with MSC: 02.00


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1958-0094299-1
PII: S 0002-9947(1958)0094299-1
Article copyright: © Copyright 1958 American Mathematical Society