A new proof of the completeness of the Łukasiewicz axioms
HTML articles powered by AMS MathViewer
- by C. C. Chang
- Trans. Amer. Math. Soc. 93 (1959), 74-80
- DOI: https://doi.org/10.1090/S0002-9947-1959-0122718-1
- PDF | Request permission
References
- C. C. Chang, Proof of an axiom of Łukasiewicz, Trans. Amer. Math. Soc. 87 (1958), 55–56. MR 94301, DOI 10.1090/S0002-9947-1958-0094301-7
- C. C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490. MR 94302, DOI 10.1090/S0002-9947-1958-0094302-9
- 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
- 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 A. Tarski, Sur les ensembles définissables de nombres réels. I, Fund. Math. vol. 17 (1931) pp. 210-239. —, Logic, semantics, metamathematics, Oxford University Press, 1956.
Bibliographic Information
- © Copyright 1959 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 93 (1959), 74-80
- MSC: Primary 02.25
- DOI: https://doi.org/10.1090/S0002-9947-1959-0122718-1
- MathSciNet review: 0122718