Skip to main content
SpringerLink
Log in

Proper n-valued Łukasiewicz algebras as S-algebras of Łukasiewicz n-valued prepositional calculi

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Proper n-valued Łukasiewicz algebras are obtained by adding some binary operators, fulfilling some simple equations, to the fundamental operations of n-valued Łukasiewicz algebras. They are the s-algebras corresponding to an axiomatization of Łukasiewicz n-valued propositional calculus that is an extention of the intuitionistic calculus.

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. Balbes and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Mo., 1974.

    Google Scholar 

  2. G. Birkhoff, Lattice Theory, 3rd Ed., American Mathematical Society, Providence, R. I., 1967.

    Google Scholar 

  3. L. Borkowski (Editor), Selected Works of J. Łukasiewicz, North-Holland, Amsterdam, 1970.

    Google Scholar 

  4. R. Cignoli, Moisil algebras, Notas de Lógica Matemática No 27, Universidad Nacional del Sur, Bahía Blanca, 1970.

    Google Scholar 

  5. R. Cignoli, Some algebraic aspects of many-valued logics. In: A. I. Arruda, N. C. A. da Costa and A. M. Sette (editors), Proceedings of the Third Brazilian Conference on Mathematical Logic, Sociedade Brasileira de Lógica, São Paulo, 1980, pp. 49–68.

    Google Scholar 

  6. G. Epstein and A. Horn, P-algebras, an abstraction from Post algebras, Algebra Universalis, 4 (1974), pp. 195–206.

    Google Scholar 

  7. R. Grigolia, Algebraic analysis of Łukasiewicz — Tarski n-valued logical systems. In: R. Wójcicki and G. Malinowski (Editors), Selected Papers on Łukasiewicz Sentential Calculi, Ossolineum, Wrocław and Warsaw, 1977, pp. 81–92.

    Google Scholar 

  8. L. Iturrioz, Łukasiewicz and Symmetrical Heyting algebras, Zeitschrift für Mathematische Logik und Grundlagen den Mathematik, 23 (1977), pp. 131–136.

    Google Scholar 

  9. J. Łukasiewicz, Philosophische Bemerkungem zu mehrwertigen Systemen des Aussagenkalküls, Comptes Rendus des Seances de la Société des Sciences et des Lettres de Varsovie, classe III, 23 (1930), 51–77. An English version is published in [3], pp. 153–178.

    Google Scholar 

  10. R. Mc Naughton, A theorem about infinite-valued sentential logic, The Journal of Symbolic Logic, 16 (1951), pp. 1–3.

    Google Scholar 

  11. H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam, 1974.

    Google Scholar 

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

    Google Scholar 

  13. W. Suchoń, Définition des foncteurs modaux de Moisil dans le calcull n-valent des propositions de Łukasiewicz avec implication et négation, Reports on Mathematical Logic, 2 (1974), pp. 43–47.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Matemática, Universidade Estadual de Campinas, 13.100, Campinas-S.P., Brazil

    Roberto Cignoli

Authors
  1. Roberto Cignoli
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Dedicated to the memory of Gregorius C. Moisil

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cignoli, R. Proper n-valued Łukasiewicz algebras as S-algebras of Łukasiewicz n-valued prepositional calculi. Stud Logica 41, 3–16 (1982). https://doi.org/10.1007/BF00373490

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation