Solution to a problem of Rose and Rosser
HTML articles powered by AMS MathViewer
- by Atwell R. Turquette PDF
- Proc. Amer. Math. Soc. 12 (1961), 253-255 Request permission
References
- Alan Rose and J. Barkley Rosser, Fragments of many-valued statement calculi, Trans. Amer. Math. Soc. 87 (1958), 1–53. MR 94299, DOI 10.1090/S0002-9947-1958-0094299-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, Class III, vol. 23 (1930) pp. 30-50. For an English translation of this, see Alfred Tarski’s Logic, semantics, metamathematics, Oxford, University Press, 1956, pp. 38-59.
- C. A. Meredith, The dependence of an axiom of Łukasiewicz, Trans. Amer. Math. Soc. 87 (1958), 54. MR 94300, DOI 10.1090/S0002-9947-1958-0094300-5
- 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
Additional Information
- © Copyright 1961 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 12 (1961), 253-255
- MSC: Primary 02.25
- DOI: https://doi.org/10.1090/S0002-9939-1961-0126376-6
- MathSciNet review: 0126376