681 search results - page 2 / 137 » Parsing as Natural Deduction |
TCS
2010
13 years 3 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
JUCS
2007
13 years 4 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
APAL
2008
13 years 4 months ago
2008
This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper...
SYNTHESE
2008
13 years 4 months ago
2008
: Prawitz proved a theorem, formalising `harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which ...
IGPL
2002
13 years 4 months ago
2002
The system of natural deduction that originated with Gentzen (1934