14 search results - page 1 / 3 » Ultimate Normal Forms for Parallelized Natural Deductions |
IGPL
2002
13 years 4 months ago
2002
The system of natural deduction that originated with Gentzen (1934
RTA
2004
Springer
13 years 10 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
ISMVL
1993
IEEE
13 years 9 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
ACL
1989
13 years 6 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...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...