𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Notes Towards a Semantics for Proof-sear
✍ 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