Many-Valued logics and translations

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorHistory of Science-
Autor(es): dc.contributorUniversidade Estadual de Campinas (UNICAMP)-
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.creatorD'Ottaviano, Ítala M. Loffredo [UNESP]-
Autor(es): dc.creatorFeitosa, Hércules D. Araujo [UNESP]-
Data de aceite: dc.date.accessioned2022-08-04T22:01:22Z-
Data de disponibilização: dc.date.available2022-08-04T22:01:22Z-
Data de envio: dc.date.issued2022-04-28-
Data de envio: dc.date.issued2022-04-28-
Data de envio: dc.date.issued1999-12-01-
Fonte completa do material: dc.identifierhttp://dx.doi.org/10.1080/11663081.1999.10510960-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/219319-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/219319-
Descrição: dc.descriptionThis 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.-
Descrição: dc.descriptionCentre for Logic, Epistemology History of Science-
Descrição: dc.descriptionDepartment of Philosophy Universidade Estadual de Campinas (Unicamp), C.P. 6133, 13081-970 Campinas, S.P.-
Descrição: dc.descriptionDepartment of Mathematics Universidade Estadual Paulista (Unesp)-
Descrição: dc.descriptionDepartment of Mathematics Universidade Estadual Paulista (Unesp)-
Formato: dc.format121-140-
Idioma: dc.languageen-
Relação: dc.relationJournal of Applied Non-Classical Logics-
???dc.source???: dc.sourceScopus-
Palavras-chave: dc.subjectAlgebraic semantics-
Palavras-chave: dc.subjectConservative translations-
Palavras-chave: dc.subjectLukasiewicz logics and algebras-
Palavras-chave: dc.subjectMany-valued logics-
Palavras-chave: dc.subjectPost logics and algebras-
Palavras-chave: dc.subjectTranslations-
Título: dc.titleMany-Valued logics and translations-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.