Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi

Studia Logica 41 (1):3 - 16 (1982)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

87 (#191,018)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Many-valued logics.J. Barkley Rosser - 1952 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.
A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.

View all 7 references / Add more references