Lógica Modal Do Operador de Consequência: Histórico, Representação Polinomial e Decidibilidade

Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 6 (12):17-37 (2014)
  Copy   BIBTEX

Abstract

Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Lógica Tk Em Dedução Natural, Cálculo de Sequentes e Tableaux.Ana Claudia de Jesus Golzio & Angela Pereira Rodrigues - 2010 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 2 (4):285-311.
Sobre o Método de Cálculo Com Anel de Polinômios: Antecedetes Históricos e Possibilidades de Pesquisa.Fábio Maia Bertato - 2013 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 5 (10):1-18.
Uma Introdução À Lógica da Filosofia de Eric Weil.Renato Silva do Vale - 2011 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 3 (6):154-169.
Editorial.Herbert Barucci Ravagnani, João Antonio de Moraes, Marcio Tadeu Girotti & Rafael dos Reis Ferreira - 2010 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 2 (4).

Analytics

Added to PP
2024-11-08

Downloads
2 (#1,907,544)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references