Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe
![logo CLACSO](/image/logo-clacso-esp.png)
Por favor, use este identificador para citar o enlazar este ítem:
https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/71070
Título : | A LÓGICA DOS OPERADORES DE CONSEQUÊNCIA ACRESCIDA DO AXIOMA MODAL 5 |
Palabras clave : | Lógica TK;Álgebras TK;Espaço quase topológico;Axioma modal (5) |
Editorial : | Faculdade de Filosofia e Ciências |
Descripción : | 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. |
URI : | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/71070 |
Otros identificadores : | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/6435 10.36311/1984-8900.2016.v8.n17.02.p1 |
Aparece en las colecciones: | Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.