N-valued logics and łukasiewicz–moisil algebras

Axiomathes 16 (1-2):123-136 (2006)
Abstract
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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,898
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

Analytics

Added to PP index
2009-01-28

Total downloads
62 ( #105,155 of 2,293,852 )

Recent downloads (6 months)
25 ( #17,276 of 2,293,852 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature