Generalizable Kleene logics
HTML articles powered by AMS MathViewer
- by Atwell R. Turquette PDF
- Proc. Amer. Math. Soc. 20 (1969), 361-367 Request permission
References
- V. I. Šestakov, On the relationship between certain three-valued logical calculi, Uspehi Mat. Nauk 19 (1964), no. 2 (116), 177–181 (Russian). MR 0177882
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- 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 See Alonzo Church’s review of Bočvar in J. Symbolic Logic 4 (1939), 98-99.
Additional Information
- © Copyright 1969 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 20 (1969), 361-367
- MSC: Primary 02.25
- DOI: https://doi.org/10.1090/S0002-9939-1969-0239952-4
- MathSciNet review: 0239952