Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe

logo CLACSO

  1. Repositorio institucional de CLACSO
  2. Colección de los Centros Asociados
  3. Brasil
  4. Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha
Por favor, use este identificador para citar o enlazar este ítem: https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/70823
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.creatorGolzio, Ana Claudia de Jesus-
dc.creatorRodrigues, Angela Pereira-
dc.date2010-12-25-
dc.date.accessioned2022-03-21T17:27:38Z-
dc.date.available2022-03-21T17:27:38Z-
dc.identifierhttps://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382-
dc.identifier10.36311/1984-8900.2010.v2n04.4382-
dc.identifier.urihttp://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/70823-
dc.description(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.pt-BR
dc.formatapplication/pdf-
dc.languagepor-
dc.publisherFaculdade de Filosofia e Ciênciaspt-BR
dc.relationhttps://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382/3192-
dc.rightsCopyright (c) 2014 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofiapt-BR
dc.rightshttp://creativecommons.org/licenses/by-nc-sa/4.0pt-BR
dc.sourceKínesis - Revista de Estudos dos Pós-Graduandos em Filosofia; v. 2 n. 04 (2010); 285-311pt-BR
dc.source1984-8900-
dc.subjectSistema hilbertianopt-BR
dc.subjectDedução naturalpt-BR
dc.subjectCálculo de seqüentespt-BR
dc.subjectTableauxpt-BR
dc.subjectLógica TKpt-BR
dc.titleA LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUXpt-BR
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/publishedVersion-
Aparece en las colecciones: Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha

Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Mostrar el registro sencillo del ítem


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.