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/70983
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.creatorFeitosa, Hércules de Araújo-
dc.creatorNascimento, Mauri Cunha do-
dc.date2014-12-18-
dc.date.accessioned2022-03-21T17:28:18Z-
dc.date.available2022-03-21T17:28:18Z-
dc.identifierhttps://revistas.marilia.unesp.br/index.php/kinesis/article/view/4793-
dc.identifier10.36311/1984-8900.2014.v6n12.4793-
dc.identifier.urihttp://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/70983-
dc.descriptionEste 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.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/4793/3475-
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. 6 n. 12 (2014); 17-37pt-BR
dc.source1984-8900-
dc.source10.5555/k.v6i12-
dc.subjectOperador de Consequência de Tarskipt-BR
dc.subjectLógica TKpt-BR
dc.subjectTK-Álgebraspt-BR
dc.subjectPolinômiospt-BR
dc.subjectDecidibilidadept-BR
dc.titleLÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADEpt-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.