Translating from Łukasiewicz's Logics into Classical Logic: Is it Possible?

Poznan Studies in the Philosophy of the Sciences and the Humanities 91:157-168 (2006)
  Copy   BIBTEX

Abstract

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.

Add more citations

References found in this work

No references found.

Add more references