14 search results - page 1 / 3 » Ultimate Normal Forms for Parallelized Natural Deductions |
IGPL
2002
13 years 10 months ago
2002
The system of natural deduction that originated with Gentzen (1934
RTA
2004
Springer
14 years 4 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
14 years 3 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
14 years 4 days 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 11 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...