A Neighbourhood Semantics for the Logic TK

Autores

  • Cezar A. Mortari Departamento de Filosofia Universidade Federal de Santa Catarina Campus Universitário – Trindade 88040-010 Florianópolis, SC
  • Hércules de Araújo Feitosa Departamento de Matemática Universidade Estadual Paulista (UNESP) Campus de Bauru 17033-360 Bauru, SP

DOI:

https://doi.org/10.5007/1808-1711.2011v15n2p287

Resumo

A lógica TK foi introduzida como uma lógica proposicional estendendo o cálculo proposicional clássico com um novo operador unário que interpreta algumas concepções do operador de consequência de Tarski. TK-álgebras foram introduzidas como modelos para TK. Assim, usando ferramentas algébricas, foi demonstrada a adequação (correção e completude) de TK relativamente às TK-álgebras. Este trabalho apresenta uma semântica de vizinhanças para TK, lógica que resulta ser dedutivamente equivalente à lógica modal não normal EMT4.

 

Biografia do Autor

Cezar A. Mortari, Departamento de Filosofia Universidade Federal de Santa Catarina Campus Universitário – Trindade 88040-010 Florianópolis, SC

Departamento de Filosofia

Universidade Federal de Santa Catarina

Campus Universitário – Trindade

88040-010 Florianópolis, SC

Hércules de Araújo Feitosa, Departamento de Matemática Universidade Estadual Paulista (UNESP) Campus de Bauru 17033-360 Bauru, SP

Departamento de Matemática

Universidade Estadual Paulista (UNESP)

Campus de Bauru

17033-360 Bauru, SP

Downloads

Publicado

2011-05-24

Edição

v. 15 n. 2 (2011)

Seção

Artigos

Licença

Licença Creative Commons

A obra Principia de http://www.periodicos.ufsc.br/index.php/principia/index foi licenciada com uma Licença Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional.

Com base na obra disponível em www.periodicos.ufsc.br.