Semântica Prova-Teórica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
terminologia |
|||
Linha 11:
* [http://www.iep.utm.edu/l/logcon-d.htm Logical Consequence, Deductive-Theoretic Conceptions], at the Internet Encyclopedia of Philosophy.
* Nissim Francez, "On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics", ''Logica Universalis'' 9, 2015. {{Predefinição:Doi|10.1007/s11787-015-0118-8}}
* Thomas Piecha, Peter Schroeder-Heister (eds), [http://link.springer.com/book/10.1007%2F978-3-319-22686-6 "Advances in Proof-Theoretic Semantics"], Trends in Logic 43, Springer, 2016.
== Ver também ==
| |||