N-valued logics and łukasiewicz–moisil algebras

Axiomathes 16 (1-2):123-136 (2005)
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)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 25,015
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..
Many-Valued Logics.J. Barkley Rosser - 1977 - Greenwood Press.
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..

View all 14 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

32 ( #152,136 of 2,069,410 )

Recent downloads (6 months)

2 ( #295,918 of 2,069,410 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums