Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas

Neste artigo, os conceitos de lógica cumulativa e tradução entre lógicas cumulativas são introduzidos. Alguns resultados que caracterizam a existência de tradução conservativa entre lógicas cumulativas e que garantem a preservação de algumas propriedades das lógicas também são apresentados....

Descripción completa

Detalles Bibliográficos
Autores principales: Scheer, Mauro César, Dottaiano, Itala Maria Loffredo
Formato: info:eu-repo/semantics/article
Lenguaje:Portugués
Publicado: Faculdade de Filosofia e Ciências 2011
Acceso en línea:https://revistas.marilia.unesp.br/index.php/reic/article/view/722
http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72289

Ejemplares similares