References
Rose, A.: Math. Ann.123, 76 (1951);126, 144 (1953).
Rose, A.: Comptes rendus (Paris)250, 4089 (1960).
Theorem 7, Lemma 1.
Rosser, J. B., andA. R. Turquette: Many-valued Logics, Amsterdam (1952), p.23.
Łukasiewicz, J., andA. Tarski: Comptes rendus (Warsaw)21, 30 (1930).
See footnote 4.
Słupecki, J.: Comptes rendus (Warsaw)27, 9 (1936).
See, for example, the second paper referred to in footnote 1.
These are the functors ofPost, E. L.: Am. J. Math.43, 163 (1921).
Op. cit. These are the functors of
See, for example, the first paper referred to in footnote 1.
See footnote 8.
This is the second paper referred to in footnote 1.
Op. cit.
Cf. the discussion of ξ(x),supra.
See footnote 8.
See the book referred to in footnote 4, p. 18.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rose, A. Self-dual binary and ternary connectives form-valued propositional calculi. Math. Ann. 143, 448–462 (1961). https://doi.org/10.1007/BF01470757
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01470757