D. Miller, G. Plotkin and D. Pym A Relevant Analysis of Natural Deduction, in preparation; talk at the 1992 Workshop on Types for Proofs and Programs, Bastad, 1992. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Equivalences between Logics and their Representing Type Theories - Gardner (1992) (6 citations) (Correct)
....of linear [Gir87] and relevance [Dun84] logics of the form OE 1 ; OE m f xg OE, where the OE 1 ; OE m ; OE are formulae and f xg is a set of variables denoting formulae. In recent work, Miller, Plotkin and Pym have been investigating a type theory for representing logics [MPP92], which incorporates ideas from linear logic to adapt the standard notion of context so that these consequence relations can be well represented. 3.4 Natural Representations Our definition of natural representation extends the notion of adequate representation to require, in addition, a ....
D. Miller, G. Plotkin and D. Pym A Relevant Analysis of Natural Deduction, in preparation; talk at the 1992 Workshop on Types for Proofs and Programs, Bastad, 1992.
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