✦ LIBER ✦

Proof-theoretic semantics for a natural language fragment

✍ Scribed by Nissim Francez; Roy Dyckhoff

Publisher: Springer Netherlands
Year: 2010
Tongue: English
Weight: 525 KB
Volume: 33
Category: Article
ISSN: 0165-0157
DOI: 10.1007/s10988-011-9088-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof-theoretic Semantics for Classical

Proof-theoretic Semantics for Classical Mathematics

✍ William W. Tait 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 265 KB

Proof-Theoretic Semantics for Subsentent

Proof-Theoretic Semantics for Subsentential Phrases

✍ Nissim Francez; Roy Dyckhoff; Gilad Ben-Avi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

A Metalogical Theory of Natural Language

A Metalogical Theory of Natural Language Semantics

✍ Michael Mccord; Arendse Bernth 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 441 KB

Algebraic semantics for natural language

Algebraic semantics for natural language: some philosophy, some applications

✍ Godehard Link 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 727 KB

Towards a natural language semantics wit

Towards a natural language semantics without functors and operands

✍ Miklós Erdélyi-Szabó; László Kálmán; Agi Kurucz 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 235 KB

Notes Towards a Semantics for Proof-sear

Notes Towards a Semantics for Proof-search

✍ David J. Pym 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Algorithmic proof-search is an essential enabling technology throughout informatics. Proof-search is the proof-theoretic realization of the formulation of logic not as a theory of deduction but rather as a theory of reduction. Whilst deductive logics typically have a well-developed semantics of proo