Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Solution to a problem of Rose and Rosser


Author: Atwell R. Turquette
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
Full-text PDF

References | Similar Articles | Additional Information

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

  • [1] Alan Rose and J. B. Rosser, Fragments of many-valued statement calculi, Trans. Amer. Math. Soc. vol. 87 (1958) pp. 1-53. MR 0094299 (20:818)
  • [2] 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.
  • [3] C. A. Meredith, The dependence of an axiom of Lukasiewicz, Trans. Amer. Math. Soc. vol. 87 (1958) p. 54. MR 0094300 (20:819)
  • [4] J. B. Rosser and A. R. Turquette, Many-valued logics, Amsterdam, North-Holland, 1952. MR 0051791 (14:526a)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.25

Retrieve articles in all journals with MSC: 02.25


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1961-0126376-6
Article copyright: © Copyright 1961 American Mathematical Society

American Mathematical Society