De relações a vizinhanças: um entendimento sobre não-normalidade modal e intuicionismo
Estrutura Relacional, Estrutura de Vizinhança, Modalidades, Intuicionismo.
A busca por estruturas matemáticas que representam comportamentos de determinadas lógicas é de importância para um melhor entendimento dessas lógicas. Na lógica clássica e na lógica intuicionista essas estruturas são bem conhecidas. Ao modificarmos essas lógicas acrescentando modalidades precisamos de outras estruturas para representá-las, como estruturas relacionais para lógica modal normal, essas lógicas são importantes na ciência da computação. Por exemplo quando trabalhamos com lógicas modais não-normais as estruturas de vizinhança conseguem representar a parcela dessas lógicas que são extensões do axioma E. Neste trabalho estudamos então como se dá a construção de estruturas de vizinhança para algumas lógicas modais não-normais e como podemos construir estruturas que representam lógica modal não-normal intuicionista a partir da construção conhecida de estruturas birrelacionais da lógica modal normal intuicionista.