Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3

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

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Routley-Meyer Semantics for Łukasiewicz 3-valued Logic.Gemma Robles - 2018 - Proceedings of the XXIII World Congress of Philosophy 19:29-34.
Finitely many-valued paraconsistent systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.

Analytics

Added to PP
2013-01-12

Downloads
53 (#427,749)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León

References found in this work

Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Selected works.Jan Łukasiewicz - 1970 - Amsterdam,: North-Holland Pub. Co.. Edited by Ludwik Borkowski.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.

View all 27 references / Add more references