Pseudo-topologia, lógica do plaus´ıvel e modelo relacional
Esse trabalho tem como objetivo apresentar uma semântica de vizinhança para uma particular lógica modal, a lógica proposicional do plaus´ıvel. A lógica do plaus´ıvel foi introduzida no contexto das lógicas moduladas, para tratar de um quantificador não clássico, o qual tem seus modelos vinculados co...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
UNESP
2019-12-01
|
| Series: | CQD Revista Eletrônica Paulista de Matemática |
| Subjects: | |
| Online Access: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/192 |
| _version_ | 1827849736058568704 |
|---|---|
| author | Tiago Augusto dos Santos Boza H´ercules de Araujo Feitosa |
| author_facet | Tiago Augusto dos Santos Boza H´ercules de Araujo Feitosa |
| author_sort | Tiago Augusto dos Santos Boza |
| collection | DOAJ |
| description | Esse trabalho tem como objetivo apresentar uma semântica de vizinhança para uma particular lógica modal, a lógica proposicional do plaus´ıvel. A lógica do plaus´ıvel foi introduzida no contexto das lógicas moduladas, para tratar de um quantificador não clássico, o qual tem seus modelos vinculados com uma variação do conceito de espaço topológico. Esta estrutura matemática de espaço pseudo-topológico pode ser destacada do ambiente das lógicas moduladas e se transformar num modelo para uma lógica proposicional, em que os seus operadores interpretam os operadores lógicos usuais e também um operador de caráter modal. Assim, por ser uma lógica modal não normal, a lógica proposicional do plaus´ıvel não admite uma usual semântica de Kripke, mas com algum contorno assente em semântica de vizinhança, uma semântica relacional.
|
| first_indexed | 2024-03-12T10:09:13Z |
| format | Article |
| id | doaj.art-15cfb8f23d4944fc9d2c72368543b9df |
| institution | Directory Open Access Journal |
| issn | 2316-9664 |
| language | Portuguese |
| last_indexed | 2024-03-12T10:09:13Z |
| publishDate | 2019-12-01 |
| publisher | UNESP |
| record_format | Article |
| series | CQD Revista Eletrônica Paulista de Matemática |
| spelling | doaj.art-15cfb8f23d4944fc9d2c72368543b9df2023-09-02T10:55:13ZporUNESPCQD Revista Eletrônica Paulista de Matemática2316-96642019-12-0116Pseudo-topologia, lógica do plaus´ıvel e modelo relacionalTiago Augusto dos Santos Boza0H´ercules de Araujo Feitosa1UFSC - Universidade Federal de Santa CatarinaUNESP – Universidade Estadual Paulista “Júlio de Mesquita Filho”Esse trabalho tem como objetivo apresentar uma semântica de vizinhança para uma particular lógica modal, a lógica proposicional do plaus´ıvel. A lógica do plaus´ıvel foi introduzida no contexto das lógicas moduladas, para tratar de um quantificador não clássico, o qual tem seus modelos vinculados com uma variação do conceito de espaço topológico. Esta estrutura matemática de espaço pseudo-topológico pode ser destacada do ambiente das lógicas moduladas e se transformar num modelo para uma lógica proposicional, em que os seus operadores interpretam os operadores lógicos usuais e também um operador de caráter modal. Assim, por ser uma lógica modal não normal, a lógica proposicional do plaus´ıvel não admite uma usual semântica de Kripke, mas com algum contorno assente em semântica de vizinhança, uma semântica relacional. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/192Lógica modalLógica proposicional do plaus´ıvelSemânticas de vizinhanças. |
| spellingShingle | Tiago Augusto dos Santos Boza H´ercules de Araujo Feitosa Pseudo-topologia, lógica do plaus´ıvel e modelo relacional CQD Revista Eletrônica Paulista de Matemática Lógica modal Lógica proposicional do plaus´ıvel Semânticas de vizinhanças. |
| title | Pseudo-topologia, lógica do plaus´ıvel e modelo relacional |
| title_full | Pseudo-topologia, lógica do plaus´ıvel e modelo relacional |
| title_fullStr | Pseudo-topologia, lógica do plaus´ıvel e modelo relacional |
| title_full_unstemmed | Pseudo-topologia, lógica do plaus´ıvel e modelo relacional |
| title_short | Pseudo-topologia, lógica do plaus´ıvel e modelo relacional |
| title_sort | pseudo topologia logica do plaus´ivel e modelo relacional |
| topic | Lógica modal Lógica proposicional do plaus´ıvel Semânticas de vizinhanças. |
| url | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/192 |
| work_keys_str_mv | AT tiagoaugustodossantosboza pseudotopologialogicadoplausıvelemodelorelacional AT herculesdearaujofeitosa pseudotopologialogicadoplausıvelemodelorelacional |