155 search results - page 5 / 31 » Harmonising natural deduction |
ACL
1989
14 years 10 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
TLCA
2001
Springer
15 years 2 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
RTA
1999
Springer
15 years 1 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
CSL
2010
Springer
14 years 10 months ago
2010
Springer
