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

Autores

  • Mauro César Scheer
  • Itala Maria Loffredo Dottaiano

DOI:

https://doi.org/10.36311/1807-8281.2005.v4n1.722

Resumo

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.

Biografia do Autor

Mauro César Scheer


Downloads

Edição

Seção

Artigos