Many-Valued Logics and Translations

&
Journal of Applied Non-Classical Logics 9 (1):121-140 (1999)
  Copy   BIBTEX

Abstract

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1999.10510960

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

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

Through your library

My notes

Similar books and articles

Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
Paraconsistent Logics and Translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo Feitosa - 2000 - Synthese 125 (1-2):77-95.
New dimensions on translations between logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
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.
Many-valued points and equality.Costas Drossos & Daniele Mundici - 2000 - Synthese 125 (1-2):77-95.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
Possible-translations semantics for some weak classically-based paraconsistent logics.João Marcos - 2008 - Journal of Applied Non-Classical Logics 18 (1):7-28.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Review: Rolf Schock, On Finitely Many-Valued Logics; Rolf Schock, On Denumerably Many-Valued Logics; R. Schock, Some Theorems on the Relative Strengths of Many-Valued Logics. [REVIEW]Robert K. Meyer - 1970 - Journal of Symbolic Logic 35 (1):140-142.

Analytics

Added to PP
2014-01-21

Downloads
21 (#738,221)

6 months
7 (#431,507)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Itala Maria Loffredo D'Ottaviano
Universidade Estadual de Campinas

Citations of this work

The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
Basic Four-Valued Systems of Cyclic Negations.Oleg Grigoriev & Dmitry Zaitsev - 2022 - Bulletin of the Section of Logic 51 (4):507-533.
Conservative translations.Hércules Feitosa & Itala Loffredo D'ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.

View all 14 references / Add more references