Skip to main content
SpringerLink
Log in

An axiomatization of the finite-valued Łukasiewicz calculus

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper the completeness theorems for the finite-valued Łukasiewicz logics are proved with the use of the Lindenbaum algebra.

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. R. S. Grigolia, Algébraičéskij analiz n-značnych logičéskich sistém Łukasiewicza-Tarskiego, Proceedings of Tbilisi University A 6–7 (149–150) (1973), Mathematical and Natural Sciences, Tbilisi, pp. 121–132.

    Google Scholar 

  2. G. Malinowski, Topics in the Theory of Strengthenings of Sentential Calculi, Polish Academy of Sciences, Institute of Philosophy and Sociology 1979.

  3. W. A. Pogorzelski, The deduction theorem for Łukasiewicz many-valued prepositional calculi, Studia Logica 15 (1964), pp. 7–23.

    Google Scholar 

  4. W. A. Pogorzelski and P. Wojtylak, Elements of the Theory of Completeness in Prepositional Logic, Silesian University, Katowice 1982.

    Google Scholar 

  5. A. Rose and J. B. Rosser, Fragments of many-valued statement calculi, Transactions of the American Mathematical Society 87 (1958), pp. 1–53.

    Google Scholar 

  6. J. B. Rosser and A. R. Turquette, Many-Valued Logics, North-Holland, Amsterdam 1952.

    Google Scholar 

  7. M. Tokarz, A method of axiomatization of Łukasiewicz logics, Studia Logica 33 (1974), pp. 333–338.

    Google Scholar 

  8. M. Wajsberg, Aksjomatyzacja trójwartościowego rachunku zdań, Comptes rendus de la Société des Sciences et des Lettres de Varsovie, Cl. III, 24 (1931), pp. 126–148.

    Google Scholar 

  9. M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatshefte für Mathematik und Physik 42 (1935), pp. 221–242.

    Google Scholar 

  10. R. Wójcicki, On matrix representation of consequence operations of Łukasiewicz's sentential calculi, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 19 (1976), pp. 239–247.

    Google Scholar 

  11. M. Maduch, On Lindenbaum's algebras of finite implicational Łukasiewicz's logics, Bulletin of the Section of Logic, Polish Academy of Sciences 5 (1976), no. 1, pp. 29–32.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Silesian University, 40-007, Katowice, Poland

    Roman Tuziak

Authors
  1. Roman Tuziak
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The research was sponsored by the grant C.P.B.P. 08-15.

I wish to thank Dr hab. Piotr Wojtylak for ideas and suggestions which enabled me to write this paper.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tuziak, R. An axiomatization of the finite-valued Łukasiewicz calculus. Stud Logica 47, 49–55 (1988). https://doi.org/10.1007/BF00374052

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation