Skip to main content
SpringerLink
Log in

Factor semantics forn-valued logics

  • I. Propositional Calculi, Their Methodology And Philosophical Applications
  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this note we prove that some familiar systems of finitely many-valued logics havefactor semantics, and establish necessary conditions for a system of many-valued logic having semantics of this kind.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. D. A. Bochvar andV.K. Finn,On many-valued logics that permits the formalization of analysis of antinomies, I. In:Researches on Mathematical Linguistics, Mathematical Logic and Information Languages, ed.D. A. Bochvar, “Nauka”, Moscow 1972, pp. 238–295 (in Russian).

    Google Scholar 

  2. V. K. Finn,Some remarks on non-Postian logics,5th International Congress for Logic, Methodology and Philosophy of Science.Contributed papers. Section 1. London, Ontario, Canada, 1975, pp. 9–10.

  3. V. K. Finn, O. M. Anshakov, R. Sh. Grigolia, M. I. Zabezhailo,Many-valued logics as fragments of formalized semantics.Semiotics and Informatics, vol. 15, Moscow 1980, pp. 27–60 (in Russian).

  4. S.V. Jablonski,Functional constructions in k-valued logics. In:Studies of V. A. Steclov Mathematical Institute, vol. 51, Moscow, 1958, pp. 5–142 (in Russian).

  5. S. A. Janovskaja,Mathematical logic and foundations of mathematics, §13. In:Mathematics in the U.S.S.R. during 40 Years, Moscow 1959 (in Russian).

  6. J. Łukasiewicz, A. Tarski,Investigations into the sentential calculus. In:Łukasiewicz J. Selected Works. Warszawa 1970.

  7. H. Rasiowa,Post algebras as a semantic foundation of m-valued logics.Studie, in Mathematics, 1974, vol. 9, pp. 92–142.

    Google Scholar 

  8. J. B. Rosser, A. R. Turquette,Many-Valued Logics. Amsterdam, 1952.

  9. D. Scott,Does many-valued logic have any use? — In:Philosophy of Logics Oxford 1976.

  10. Selected Papers on Łukasiewicz Sentential Calculi. Warszawa—Wrocław, Ossolineum 1977.

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy, Academy of Sciences of the U.S.S.R., Volhonka 14, Moscow

    A. S. Karpenko

Authors
  1. A. S. Karpenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Karpenko, A.S. Factor semantics forn-valued logics. Stud Logica 42, 179–185 (1983). https://doi.org/10.1007/BF01063838

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation