Literaturverziechnis
A. Rose, Eight-valued Geometry, Proc. Lond. Math. Soc., Third Series 2 (1952), pp. 30–44.
J. SŁupecki, Dowód aksjomatyzowalności peŀnych systemów wielowartościowych rachunku zdań, Comptes rendus (Warsaw) Classe III 32 (1939), pp. 110–128.
E. L. Post, Introduction to a general theory of elementary propositions, American J. of Math. 43 (1921), pp. 163–185.
Loc. cit.
J. B. Rosser andA. R. Turquette, Axiom schemes for m-valued Propositional Calculi, Journal Symbolic Logic 10 (1945), pp. 61–82.
D. Hilbert andW. Ackermann, Grundzüge der theoretischen Logik, Second Edition, Springer, Berlin (1938), pp. 14–18; Principles of Mathematical Logie, Chelsea, N. Y. (1950), pp. 17–18.
This result has not yet been published.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rose, A. A formalisation of post'sm-valued propositional calculus. Math Z 56, 94–104 (1952). https://doi.org/10.1007/BF01215041
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01215041