Caro Adolfo,
Dê uma olhada no artigo "Fundamental Concepts of the Methodology of
the Deductive Sciences", em Logic, Semantics and Metamathematics (pp.
60-109).
É o que eu conheço.
Abraço.
Citando Adolfo Neto <[email protected]>:
Olá,
Desculpem a pergunta extremamente básica, ao que parece.
Onde encontro a definição "oficial" de uma definição de "Relação de
Consequência Tarskiana"?
Num livro/artigo do Tarski, eu suponho.
Neste livro aqui?
http://books.google.com.br/books/about/Introduction_to_Logic_and_to_the_Methodo.html?hl=pt-BR&id=XoWTzdbZgeYC
Adolfo
--
==================================================================
Adolfo Neto
Assistant Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================
--------------------------------------------
Q: Why is this email three sentences or less?
A: http://three.sentenc.es
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
