A LÓGICA DOS OPERADORES DE CONSEQUÊNCIA ACRESCIDA DO AXIOMA MODAL 5
Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia - v. 8 n. 17 (2016): Edição Especial • Revista Kínesis
Autor: Hércules de Araújo FEITOSA e Angela Pereira Rodrigues MOREIRA
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.
Abstract:
We give the definition of almost topological space and present some examples and properties. After we present the TK-algebras and the logic TK motivated by the Tarski spaces. We present a proof of adequacy between the logic TK and the models originated by almost topological spaces. In an original step, we discuss the well-known modal axiom named (5) in the context of logic TK. We analyze its models in which each almost topological space has the property that every closed set is also open.
ISSN: 1984-8900
DOI: https://doi.org/10.36311/1984-8900.2016.v8.n17.02.p1
Texto Completo: https://revistas.marilia.unesp.br/index.php/kinesis/article/view/6435
Palavras-Chave: Lógica TK.Álgebras TK.Espaço quase topológico.Axioma modal (5).
Revista Kínesis
Foco e Escopo
A Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia é uma revista eletrônica acadêmica na área de Filosofia que tem por missão publicar e divulgar pesquisas de pós-graduandos e pós-graduados a partir de um criterioso processo de avaliação.
Surgiu em 2009 da iniciativa conjunta dos pós-graduandos em Filosofia do Programa de Pós-Graduação em Filosofia da Universidade Estadual Paulista (Unesp), Campus de Marília-SP.
A Revista atende exclusivamente a demanda de pesquisa e publicação de pós-graduandos e pós-graduados na área de Filosofia e suas articulações com as demais áreas do conhecimento (ciências, literatura, artes, etc); não publica trabalhos de graduandos e graduados.
Apoio Institucional
Tem apoio do Programa de Pós-Graduação em Filosofia e do Departamento de Filosofia da Universidade Estadual Paulista (Unesp), Campus de Marília-SP.
Avaliação Qualis CAPES
Na última avaliação trienal da CAPES (Quadriênio 2013-2016), a Kínesis foi avaliada com Qualis B2 em Filosofia.
Periodicidade e Fluxo de Submissão
A Kínesis publica seus números semestralmente e recebe trabalhos em fluxo contínuo, com exceção de números especiais ou dossiês que dependem de chamadas com datas específicas. Cada número terá no máximo 20 artigos. Em situações de grande número de trabalhos aprovados serão publicados os textos com data de submissão mais antiga e os demais textos serão publicados em números especiais; neste caso os autores serão comunicados.
Submissões: https://revistas.marilia.unesp.br/index.php/kinesis/about/submissions