Теоретико-доказова семантика: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
мНемає опису редагування Мітки: Візуальний редактор Редагування з мобільного пристрою Редагування через мобільну версію Завдання новачку |
Виправлено джерел: 3; позначено як недійсні: 0.) #IABot (v2.0.8.6 |
||
Рядок 13:
== Посилання ==
* [http://plato.stanford.edu/entries/proof-theoretic-semantics/ Proof-Theoretic Semantics] {{Webarchive|url=https://web.archive.org/web/20170311085000/https://plato.stanford.edu/entries/proof-theoretic-semantics/ |date=11 березня 2017 }}, at the [[Stanford Encyclopedia of Philosophy]]
* [http://www.iep.utm.edu/l/logcon-d.htm Logical Consequence, Deductive-Theoretic Conceptions] {{Webarchive|url=https://web.archive.org/web/20090508160144/http://www.iep.utm.edu/l/logcon-d.htm |date=8 травня 2009 }}, 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. {{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»] {{Webarchive|url=https://web.archive.org/web/20170426041859/http://link.springer.com/book/10.1007%2F978-3-319-22686-6 |date=26 квітня 2017 }}, Trends in Logic 43, Springer, 2016.
* [https://web.archive.org/web/20090415110223/http://arche-wiki.st-and.ac.uk/~ahwiki/bin/view/Arche/ProofTheoreticSemantics Arché Bibliography on Proof-Theoretic Semantics.]
| |||