Journal of Philosophical Logic (2-3):1-30 (2013)

Authors
Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León
Abstract
Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent
Keywords Many-valued logic  Two-valued under-determined and over-determined interpretations  Paraconsistent logics
Categories (categorize this paper)
DOI 10.1007/s10992-012-9264-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Selected Works.Jan Łukasiewicz - 1970 - Amsterdam: North-Holland Pub. Co..
Many-Valued Logics.Grzegorz Malinowski - 1993 - Oxford, England: Oxford University Press.

View all 27 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Three-Valued Logics in Modal Logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Structure, Method and Meaning.Paul Henle - 1951 - New York: Liberal Arts Press.
Many-Valued Logics.Grzegorz Malinowski - 1993 - Oxford, England: Oxford University Press.

Analytics

Added to PP index
2013-01-12

Total views
25 ( #455,494 of 2,506,010 )

Recent downloads (6 months)
1 ( #416,828 of 2,506,010 )

How can I increase my downloads?

Downloads

My notes