Skip to main content
Log in

On thet-closure condition of Martin

  • Published:
Mathematische Annalen Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. 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).

    Google Scholar 

  2. Martin, N. M.: The Sheffer functions of 3-valued logic. J. Symb. Logic19, 45–51 (1954).

    Google Scholar 

  3. Muzio, J. C.: The cosubstitution condition. Notre Dame J. of Formal Logic. (To appear.)

  4. Rosenberg, I.: La structure des fonctions de plusieurs variables sur un ensemble fini. Comptes Rendus Acad. Sci. (Paris)260, 3817–3819 (1965).

    Google Scholar 

  5. Rousseau, G.: Completeness in finite algebras with a single operation. Proc. Amer. Math. Soc.18, 1009–1013 (1967).

    Google Scholar 

  6. Salomaa, A.: On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis (Ser. AI)41 (1960).

  7. -- Some completeness criteria for sets of functions over a finite domain I, II. Annales Universitatis Turkuensis (Ser. AI)53 and63 (1963).

  8. Schofield, P.: Independent conditions for completeness of finite algebras with a single generator. J. London Math. Soc.44, 413–423 (1969).

    Google Scholar 

  9. Wheeler, R. F.: Complete connectives for the 3-valued propositional calculus. Proc. London Math. Soc.16, 167–191 (1966).

    Google Scholar 

  10. Yablonskii, S. V.: Functional constructions ink-valued logic. Trudy Mat. Inst. Steklova51, 5–142 (1958) (Russian).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01419621

Navigation