N-Valued Logics and Łukasiewicz''“Moisil Algebras

Axiomathes 16 (1):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 of life itself   biological applications of Łukasiewicz–Moisil Algebras   defining probabilities over LMn-algebras and their potential applications in biostatistics
Categories (categorize this paper)
DOI 10.1007/s10516-005-4145-6
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: 47,122
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..

View all 15 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Łukasiewicz-Moisil Relation Algebras.Andrei Popescu - 2005 - Studia Logica 81 (2):167-189.
Boolean Deductive Systems of BL-Algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
On a Four-Valued Modal Logic with Deductive Implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The Logic of Peirce Algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Representation and Extension of States on MV-Algebras.TomአKroupa - 2005 - Archive for Mathematical Logic 45 (4):381-392.
Monadic GMV-Algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
-}$Bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.


Added to PP index

Total views
90 ( #97,934 of 2,289,307 )

Recent downloads (6 months)
10 ( #86,340 of 2,289,307 )

How can I increase my downloads?


My notes

Sign in to use this feature