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

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.