A Lógica Tk Em Dedução Natural, Cálculo de Sequentes e Tableaux

&
Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 2 (4):285-311 (2010)
  Copy   BIBTEX

Abstract

(Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a Lógica TK, que foi apresentada inicialmente no estilo hilbertiano. O objetivo deste trabalho é apresentar a Lógica TK em sistemas de dedução natural, cálculo de sequentes e tableaux assim como demonstrar a equivalência entre esses novos sistemas e o original.

Categories

Keywords

Reprint years

DOI

10.36311/1984-8900.2010.v2n04.4382

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Um Cálculo de Sequentes a Partir Do Sistema Trivalente e Fracamente Intuicionista I1.Elias Oliveira Vieira dos Santos & Luiz Henrique da Cruz Silvestrini - 2023 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 15 (38):174-206.
Lógica Modal Do Operador de Consequência: Histórico, Representação Polinomial e Decidibilidade.Hércules de Araújo Feitosa & Mauri Cunha do Nascimento - 2014 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 6 (12):17-37.
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.
A Doutrina da Essência Como Esfera de Mediação.Gabriel Rodrigues da Silva - 2024 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 15 (39):167-181.
Lógica e Completude.Arno A. Viero - 2001 - Princípios 8 (10):07-24.
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).
Grafos existenciais de C. S. Peirce: Uma introdução ao sistema alfa: The Existential Graphs of Charles S. Peirce: An Introduction into the alpha-system. [REVIEW]Lafayette de Moraes - 2001 - Cognitio 2.
Lógica — Exercíoios-II. Dedução no cálculo sentencial.Leónídas Hegenberg - 1981 - Revista Portuguesa de Filosofia 37 (4):475-475.
Aspectos Filosóficos da Lógica Trivalente de Peirce.José Renato Salatiel - 2011 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 3 (5):31-42.
Sobre Raciocínios Aproximados: O Caso “Fuzzy”.Anderson Aparecido da Silva - 2012 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 4 (7):35-49.

Analytics

Added to PP
2024-11-08

Downloads
7 (#1,636,548)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references