A LÓGICA DOS OPERADORES DE CONSEQUÊNCIA ACRESCIDA DO AXIOMA MODAL 5

Autores

  • Hércules de Araújo FEITOSA (UNESP/Bauru)
  • Angela Pereira Rodrigues MOREIRA (UNICAMP)

DOI:

https://doi.org/10.36311/1984-8900.2016.v8.n17.02.p1

Resumo

Damos a definição de espaço quase topológico e apresentamos alguns exemplos e propriedades. Em seguida, apresentamos as álgebras TK e a lógica TK que foram motivadas pelos espaços de Tarski. Apresentamos uma demonstração da adequação da lógica TK relativa aos espaços quase topológicos. De modo original, discutimos o bem conhecido axioma modal chamado (5) e mostramos sua formalização na lógica TK e seus respectivos modelos, dados por espaços quase topológicos em que cada conjunto fechado é também aberto.

Downloads

Não há dados estatísticos.

Biografia do Autor

Hércules de Araújo FEITOSA (UNESP/Bauru)

O Laboratório Editorial foi instituído com o objetivo de criar condições e oportunidades para a difusão de pesquisas e tornar públicos os resultados dos trabalhos do corpo docente da FFC. Constitui-se num órgão adjunto à Diretoria da FFC e vinculado à SAEPE, com o apoio da Seção Gráfica, da Diretoria, da Biblioteca, e das Seções de Finanças, Compras e Técnica Acadêmica. A função do Laboratório Editorial é a de assessorar, planejar, realizar e distribuir livros, periódicos e outras publicações elaboradas na FFC.

E-mail: labeditorial@marilia.unesp.br 

Angela Pereira Rodrigues MOREIRA (UNICAMP)

O Laboratório Editorial foi instituído com o objetivo de criar condições e oportunidades para a difusão de pesquisas e tornar públicos os resultados dos trabalhos do corpo docente da FFC. Constitui-se num órgão adjunto à Diretoria da FFC e vinculado à SAEPE, com o apoio da Seção Gráfica, da Diretoria, da Biblioteca, e das Seções de Finanças, Compras e Técnica Acadêmica. A função do Laboratório Editorial é a de assessorar, planejar, realizar e distribuir livros, periódicos e outras publicações elaboradas na FFC.

E-mail: labeditorial@marilia.unesp.br 

Downloads

Publicado

2016-11-07