A Relevant Analysis of Natural Deduction Export

@article{citeulike:808822, abstract = {Linear and other relevant logics have been studied widely in mathematical, philosophical and computational logic. We describe a logical framework, RLF, for defining natural deduction presentations of such logics. RLF consists in a language together, in a manner similar to that of Harper, Honsell and Plotkin's LF, with a representation mechanism: the language of RLF is the lL-calculus; the representation mechanism is judgements-as-types, developed for relevant logics. The lL-calculus type theory ...}, author = {Ishtiaq, Samin S. and Pym, David J.}, citeulike-article-id = {808822}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5059}, comment = {printed}, journal = {Journal of Logic and Computation}, keywords = {dependent, linear, logic, types}, number = {6}, pages = {809--838}, posted-at = {2006-08-21 02:01:13}, priority = {3}, title = {A Relevant Analysis of Natural Deduction}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5059}, volume = {8}, year = {1998} }

TY - JOUR ID - citeulike:808822 L3 - citeulike-article-id:808822 N2 - Linear and other relevant logics have been studied widely in mathematical, philosophical and computational logic. We describe a logical framework, RLF, for defining natural deduction presentations of such logics. RLF consists in a language together, in a manner similar to that of Harper, Honsell and Plotkin's LF, with a representation mechanism: the language of RLF is the lL-calculus; the representation mechanism is judgements-as-types, developed for relevant logics. The lL-calculus type theory ... IS - 6 JF - Journal of Logic and Computation EP - 838 TI - A Relevant Analysis of Natural Deduction VL - 8 SP - 809 KW - dependent KW - linear KW - logic KW - types N1 - printed AU - Ishtiaq, Samin AU - Pym, David PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5059 ER -