Literatur
Post, Emil L.: The Two-Valued Iterative Systems of Mathematical Logic. Ann. of Math. Studies, No. 5, Princeton, N.J. 1941.
Church, Alonzo: Portugal. Math.7, 87 (1948).
SeeEmil L. Post: Amer. J. Math.43, 163 (1921);Łukasiewicz, Jan, a.Alfred Tarski: C. r. Soc. Sci. Lettr. Warsaw, Cl. III,23, 30 (1930).
Cf.Rosser, J. B., a.A. R. Turquette: J. Symbol. Log.10, 61 (1945).
Op. cit.
This is also the second negation function, ≂X, ofPost, see footnote 3).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rose, A. Conditioned Disjunction as a primitive connective for them-valued Propositional Calculus. Math. Ann. 123, 76–78 (1951). https://doi.org/10.1007/BF02054942
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02054942