Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas
DOI:
https://doi.org/10.36311/1807-8281.2005.v4n1.722Resumo
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.Downloads
Não há dados estatísticos.
Downloads
Edição
Seção
Artigos