Quatrini, M. and Tortora de Falco, L. Private communication. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Computational Isomorphisms in Classical Logic - Danos, Joinet, Schellinx (1996) (1 citation) (Correct)
....of classical proofs. REMARK: Using the P denotational semantics of [11] it is possible to de ne a syntactical notion of isomorphism which corresponds to our synonymy , and hence avoids the problem of non associativity of cuts that comes with the notion of isomorphism used in this paper ([12]. 5 The same result in calculus We now re contextualize our result in the frame of typed calculus (see [8, 9, 10] for de nitions) 5.1 Embedding typed calculus into LK p Terms in this calculus denote deductions in Parigot s Classical Natural Deduction (CND for short) restricted ....
Quatrini, M. and Tortora de Falco, L. Private communication.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC