Many-Valued logics and translations

Detalhes bibliográficos
Autor(a) principal: D'Ottaviano, Ítala M. Loffredo [UNESP]
Data de Publicação: 1999
Outros Autores: Feitosa, Hércules D. Araujo [UNESP]
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1080/11663081.1999.10510960
http://hdl.handle.net/11449/219319
Resumo: 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.
id UNSP_2e4b87c80fde34a17563ed9543abe54e
oai_identifier_str oai:repositorio.unesp.br:11449/219319
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Many-Valued logics and translationsAlgebraic semanticsConservative translationsLukasiewicz logics and algebrasMany-valued logicsPost logics and algebrasTranslationsThis 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.Centre for Logic, Epistemology History of ScienceDepartment of Philosophy Universidade Estadual de Campinas (Unicamp), C.P. 6133, 13081-970 Campinas, S.P.Department of Mathematics Universidade Estadual Paulista (Unesp)Department of Mathematics Universidade Estadual Paulista (Unesp)History of ScienceUniversidade Estadual de Campinas (UNICAMP)Universidade Estadual Paulista (UNESP)D'Ottaviano, Ítala M. Loffredo [UNESP]Feitosa, Hércules D. Araujo [UNESP]2022-04-28T18:54:59Z2022-04-28T18:54:59Z1999-12-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article121-140http://dx.doi.org/10.1080/11663081.1999.10510960Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.1166-30811958-5780http://hdl.handle.net/11449/21931910.1080/11663081.1999.105109602-s2.0-0347701725Scopusreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengJournal of Applied Non-Classical Logicsinfo:eu-repo/semantics/openAccess2022-04-28T18:54:59Zoai:repositorio.unesp.br:11449/219319Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T15:59:58.295897Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Many-Valued logics and translations
title Many-Valued logics and translations
spellingShingle Many-Valued logics and translations
D'Ottaviano, Ítala M. Loffredo [UNESP]
Algebraic semantics
Conservative translations
Lukasiewicz logics and algebras
Many-valued logics
Post logics and algebras
Translations
title_short Many-Valued logics and translations
title_full Many-Valued logics and translations
title_fullStr Many-Valued logics and translations
title_full_unstemmed Many-Valued logics and translations
title_sort Many-Valued logics and translations
author D'Ottaviano, Ítala M. Loffredo [UNESP]
author_facet D'Ottaviano, Ítala M. Loffredo [UNESP]
Feitosa, Hércules D. Araujo [UNESP]
author_role author
author2 Feitosa, Hércules D. Araujo [UNESP]
author2_role author
dc.contributor.none.fl_str_mv History of Science
Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual Paulista (UNESP)
dc.contributor.author.fl_str_mv D'Ottaviano, Ítala M. Loffredo [UNESP]
Feitosa, Hércules D. Araujo [UNESP]
dc.subject.por.fl_str_mv Algebraic semantics
Conservative translations
Lukasiewicz logics and algebras
Many-valued logics
Post logics and algebras
Translations
topic Algebraic semantics
Conservative translations
Lukasiewicz logics and algebras
Many-valued logics
Post logics and algebras
Translations
description 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.
publishDate 1999
dc.date.none.fl_str_mv 1999-12-01
2022-04-28T18:54:59Z
2022-04-28T18:54:59Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1080/11663081.1999.10510960
Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.
1166-3081
1958-5780
http://hdl.handle.net/11449/219319
10.1080/11663081.1999.10510960
2-s2.0-0347701725
url http://dx.doi.org/10.1080/11663081.1999.10510960
http://hdl.handle.net/11449/219319
identifier_str_mv Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.
1166-3081
1958-5780
10.1080/11663081.1999.10510960
2-s2.0-0347701725
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Journal of Applied Non-Classical Logics
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 121-140
dc.source.none.fl_str_mv Scopus
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808128591473410048

Registros relacionados