Biblioteca Digital de VanguardiaOperadores 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....
| Autores principales: | , |
|---|---|
| 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 |
| Sumario: | 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. |
|---|