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.

Categories

Add categories

Keywords

Reprint years

DOI

10.36311/1984-8900.2014.v6n12.4793

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

My notes

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.
Pares de Galois e espaços de Tarski.Hércules De Araujo Feitosa, Cristiane Alexandra Lazaro & Mauri Cunha do Nascimento - 2018 - Cognitio 19 (1):110-132.
Lógica, ordem e sistemas implicativos.Cristiane Alexandra Lázaro, Hércules de Araujo Feitosa & Marcelo Reicher Soares - 2019 - Veritas – Revista de Filosofia da Pucrs 64 (3):e32214.
A Neighbourhood Semantics for the Logic TK DOI:10.5007/1808-1711.2011v15n2p287.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287-302.
Sobre Tarski Acerca da Conseqüência Lógica.Hermógenes Pereira Oliveira - 2012 - Inquietude 3 (2):76-93.
Sobre Tarski Acerca da Conseqüência Lógica.Hermógenes Hebert Pereira Oliveira - 2012 - Revista Inquietude 3 (2):76-93.
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.
Relações de consequência simétrica.Hércules de Araújo Feitosa, Marcelo Reicher Soares & Ângela Pereira Rodrigues Moreira - 2016 - Clareira: Revista de Filosofia da Região Amazônica 3 (2):53-62.
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