Algebraic analysis of many valued logics
HTML articles powered by AMS MathViewer
- by C. C. Chang
- Trans. Amer. Math. Soc. 88 (1958), 467-490
- DOI: https://doi.org/10.1090/S0002-9947-1958-0094302-9
- PDF | Request permission
References
- Garrett Birkhoff, Lattice Theory, Revised edition, American Mathematical Society Colloquium Publications, Vol. 25, American Mathematical Society, New York, N. Y., 1948. MR 0029876
- 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 J. Łukasiewicz and A. 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.
- 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
- M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), no. 1, 37–111. MR 1501865, DOI 10.1090/S0002-9947-1936-1501865-8
- Alfred Tarski, Contributions to the theory of models. I, Nederl. Akad. Wetensch. Proc. Ser. A 57 (1954), 572–581 = Indagationes Math. 16, 572–581 (1954). MR 0066301
- M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys. 42 (1935), no. 1, 221–242 (German). MR 1550430, DOI 10.1007/BF01733295
Bibliographic Information
- © Copyright 1958 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 88 (1958), 467-490
- MSC: Primary 02.00; Secondary 06.00
- DOI: https://doi.org/10.1090/S0002-9947-1958-0094302-9
- MathSciNet review: 0094302