Pseudo-topologia, lógica do plaus´ıvel e modelo relacional

Autores

  • Tiago Augusto dos Santos Boza UFSC - Universidade Federal de Santa Catarina
  • H´ercules de Araujo Feitosa UNESP – Universidade Estadual Paulista “Júlio de Mesquita Filho”

Palavras-chave:

Lógica modal, Lógica proposicional do plaus´ıvel, Semânticas de vizinhanças.

Resumo

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.

Downloads

Publicado

20-12-2019

Como Citar

BOZA, T. A. dos S.; FEITOSA, H. de A. Pseudo-topologia, lógica do plaus´ıvel e modelo relacional. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 16, 2019. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/192. Acesso em: 12 nov. 2024.

Edição

Seção

Artigos de Pesquisa

Artigos mais lidos pelo mesmo(s) autor(es)