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 orig...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Universidade Estadual Paulista (UNESP)
2016-11-01
|
| Series: | Kínesis |
| Subjects: | |
| Online Access: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/6435 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|