N-valued logics and łukasiewicz–moisil algebras

Axiomathes 16 (1-2):123-136 (2006)
Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras.
Keywords categories   N-valued logics and Łukasiewicz–Moisil logic algebras  categories of Łukasiewicz–Moisil algebras  the fundamental logic adjunction theorem  equivalences between pairs of different categories of n-valued logic algebras  colimits  limits and adjointness relations in biology  category of boolean algebras  Post  MV and Heyting logic algebras  universal  or global  properties of categories of logic algebras  full and faithful adjoint functors between certain categories of logic algebras and the boolean logic category  the logic(s) of life itself  biological applications of Łukasiewicz–Moisil Algebras  defining probabilities over LM n -algebras and their potential applications in biostatistics
Categories (categorize this paper)
Reprint years 2006
DOI 10.1007/s10516-005-4145-6
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,807
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: K. Paul, Trench, Trubner & Co..
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Selected Works.Jan Łukasiewicz - 1970 - Amsterdam: North-Holland Pub. Co..
Many-Valued Logics.J. Barkley Rosser - 1952 - Greenwood Press.

View all 14 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index

Total downloads
34 ( #167,445 of 2,214,511 )

Recent downloads (6 months)
2 ( #239,296 of 2,214,511 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature