References
Foxley, E.: The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame J. of Formal Logic3, 41–50 (1962).
Martin, N. M.: The Sheffer functions of 3-valued logic. J. Symb. Logic19, 45–51 (1954).
Muzio, J. C.: The cosubstitution condition. Notre Dame J. of Formal Logic. (To appear.)
Rosenberg, I.: La structure des fonctions de plusieurs variables sur un ensemble fini. Comptes Rendus Acad. Sci. (Paris)260, 3817–3819 (1965).
Rousseau, G.: Completeness in finite algebras with a single operation. Proc. Amer. Math. Soc.18, 1009–1013 (1967).
Salomaa, A.: On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis (Ser. AI)41 (1960).
-- Some completeness criteria for sets of functions over a finite domain I, II. Annales Universitatis Turkuensis (Ser. AI)53 and63 (1963).
Schofield, P.: Independent conditions for completeness of finite algebras with a single generator. J. London Math. Soc.44, 413–423 (1969).
Wheeler, R. F.: Complete connectives for the 3-valued propositional calculus. Proc. London Math. Soc.16, 167–191 (1966).
Yablonskii, S. V.: Functional constructions ink-valued logic. Trudy Mat. Inst. Steklova51, 5–142 (1958) (Russian).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Muzio, J.C. On thet-closure condition of Martin. Math. Ann. 195, 143–148 (1971). https://doi.org/10.1007/BF01419621
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01419621