Sobre a existência de semântica finita para os fragmentos da lógica intuicionista
Em um artigo de 1932, Gödel prova que a lógica proposicional intuicionista não pode ser vista como um sistema lógico multivalorado finito. Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a todas as fórmulas intuicionistas deriváveis, e somente essas, u...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Online |
| Language: | Portuguese |
| Published: |
Universidade Estadual de Campinas
2019
|
| Subjects: | |
| Online Access: | https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/409 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864358401015808000 |
|---|---|
| author | Albarelli, Felipe de Souza Biraben, Rodolfo Cristian Ertola |
| author_facet | Albarelli, Felipe de Souza Biraben, Rodolfo Cristian Ertola |
| author_sort | Albarelli, Felipe de Souza |
| collection | Portal de Eventos Científicos da UNICAMP |
| container_reference | Revista dos Trabalhos de Iniciação Científica da UNICAMP; n. 26 (2018): Congresso de Iniciação Científica Unicamp |
| description | Em um artigo de 1932, Gödel prova que a lógica proposicional intuicionista não pode ser vista como um sistema lógico multivalorado finito. Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a todas as fórmulas intuicionistas deriváveis, e somente essas, um valor distinguido. O presente trabalho consiste em generalizar a prova de Gödel provando, para certos fragmentos da lógica proposicional intuicionista, se estes podem ou não serem vistos como uma lógica multivalorada finita. |
| first_indexed | 2025-10-08T13:50:43Z |
| format | Online |
| id | ojs-article-409 |
| institution | Universidade Estadual de Campinas |
| issn | 2596-1969 |
| language | por |
| last_indexed | 2025-10-08T13:50:43Z |
| publishDate | 2019 |
| publisher | Universidade Estadual de Campinas |
| record_format | ojs |
| spelling | ojs-article-4092025-09-26T14:32:30Z Sobre a existência de semântica finita para os fragmentos da lógica intuicionista Albarelli, Felipe de Souza Biraben, Rodolfo Cristian Ertola Lógica intuicionista Lógica multivalorada Fragmentos da lógica intuicionista. Em um artigo de 1932, Gödel prova que a lógica proposicional intuicionista não pode ser vista como um sistema lógico multivalorado finito. Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a todas as fórmulas intuicionistas deriváveis, e somente essas, um valor distinguido. O presente trabalho consiste em generalizar a prova de Gödel provando, para certos fragmentos da lógica proposicional intuicionista, se estes podem ou não serem vistos como uma lógica multivalorada finita. Universidade Estadual de Campinas 2019-01-03 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Artigo de convidado application/pdf https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/409 10.20396/revpibic262018409 Revista dos Trabalhos de Iniciação Científica da UNICAMP; n. 26 (2018): Congresso de Iniciação Científica Unicamp 2596-1969 por https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/409/393 Copyright (c) 2019 Felipe de Souza Albarelli, Rodolfo Cristian Ertola Biraben http://creativecommons.org/licenses/by/4.0 |
| spellingShingle | Albarelli, Felipe de Souza Biraben, Rodolfo Cristian Ertola Lógica intuicionista Lógica multivalorada Fragmentos da lógica intuicionista. Sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| title | Sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| title_full | Sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| title_fullStr | Sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| title_full_unstemmed | Sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| title_short | Sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| title_sort | sobre a existência de semântica finita para os fragmentos da lógica intuicionista |
| topic | Lógica intuicionista Lógica multivalorada Fragmentos da lógica intuicionista. |
| url | https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/409 |
| work_keys_str_mv | AT albarellifelipedesouza sobreaexistenciadesemanticafinitaparaosfragmentosdalogicaintuicionista AT birabenrodolfocristianertola sobreaexistenciadesemanticafinitaparaosfragmentosdalogicaintuicionista |
