Logotipo do repositório
 

Publicação:
Many-Valued logics and translations

Página do item simplificado
dc.contributor.authorD'Ottaviano, Ítala M. Loffredo [UNESP]
dc.contributor.authorFeitosa, Hércules D. Araujo [UNESP]
dc.contributor.institutionHistory of Science
dc.contributor.institutionUniversidade Estadual de Campinas (UNICAMP)
dc.contributor.institutionUniversidade Estadual Paulista (UNESP)
dc.date.accessioned2022-04-28T18:54:59Z
dc.date.available2022-04-28T18:54:59Z
dc.date.issued1999-12-01
dc.description.abstractThis 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.en
dc.description.affiliationCentre for Logic, Epistemology History of Science
dc.description.affiliationDepartment of Philosophy Universidade Estadual de Campinas (Unicamp), C.P. 6133, 13081-970 Campinas, S.P.
dc.description.affiliationDepartment of Mathematics Universidade Estadual Paulista (Unesp)
dc.description.affiliationUnespDepartment of Mathematics Universidade Estadual Paulista (Unesp)
dc.format.extent121-140
dc.identifierhttp://dx.doi.org/10.1080/11663081.1999.10510960
dc.identifier.citationJournal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.
dc.identifier.doi10.1080/11663081.1999.10510960
dc.identifier.issn1166-3081
dc.identifier.issn1958-5780
dc.identifier.scopus2-s2.0-0347701725
dc.identifier.urihttp://hdl.handle.net/11449/219319
dc.language.isoeng
dc.relation.ispartofJournal of Applied Non-Classical Logics
dc.sourceScopus
dc.subjectAlgebraic semantics
dc.subjectConservative translations
dc.subjectLukasiewicz logics and algebras
dc.subjectMany-valued logics
dc.subjectPost logics and algebras
dc.subjectTranslations
dc.titleMany-Valued logics and translationsen
dc.typeArtigo
dspace.entity.typePublication

Arquivos

Coleções

Artigos