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: 79,743

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

84 (#155,080)

6 months
1 (#479,060)

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 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
Many-Valued Logics.J. Barkley Rosser - 1952 - 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