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 |
| _version_ | 1782338163563298816 |
|---|---|
| author | Scheer, Mauro César Dottaiano, Itala Maria Loffredo |
| author_facet | Scheer, Mauro César Dottaiano, Itala Maria Loffredo |
| author_sort | Scheer, Mauro César |
| collection | Repositorio |
| description | 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. |
| format | info:eu-repo/semantics/article |
| id | clacso-CLACSO72289 |
| institution | CLACSO, Repositorio Digital |
| language | Portugués |
| publishDate | 2011 |
| publisher | Faculdade de Filosofia e Ciências |
| record_format | greenstone |
| spelling | clacso-CLACSO722892022-03-21T17:49:47Z Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas Scheer, Mauro César Dottaiano, Itala Maria Loffredo 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. 2011-07-05 2022-03-21T17:49:47Z 2022-03-21T17:49:47Z info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion https://revistas.marilia.unesp.br/index.php/reic/article/view/722 10.36311/1807-8281.2005.v4n1.722 http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72289 por https://revistas.marilia.unesp.br/index.php/reic/article/view/722/624 application/pdf Faculdade de Filosofia e Ciências Revista Eletrônica Informação e Cognição; v. 4 n. 1 (2005) 1807-8281 |
| spellingShingle | Scheer, Mauro César Dottaiano, Itala Maria Loffredo Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| title | Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| title_full | Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| title_fullStr | Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| title_full_unstemmed | Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| title_short | Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| title_sort | operadores de conseqüência cumulativos e traduções entre lógicas cumulativas |
| url | https://revistas.marilia.unesp.br/index.php/reic/article/view/722 http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72289 |