Samin Ishtiaq  Home/Search
Context Related
| dcs.qmw.ac.uk/pub/...tiaq99thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmw.ac.uk/~si/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Cited by: More
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
A Linear Spine Calculus - Cervesato, Pfenning (2001) (Correct)
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) (Correct)
Similar documents (at the sentence level):
11.2%: Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (Correct)
9.7%: A Relevant Analysis of Natural Deduction - Ishtiaq, Pym (1996) (Correct)
Active bibliography (related documents): More All
0.2: Relevant and Substructural Logics - Restall (2001) (Correct)
0.2: The Practice of Logical Frameworks - Frank Pfenning (1996) (Correct)
0.2: Finitary Partial Inductive Definitions as a General Logic - Lars-Henrik Eriksson (1994) (Correct)
Similar documents based on text: More All
0.9: Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (Correct)
0.4: BI as an Assertion Language for Mutable Data Structures - Ishtiaq, O'Hearn (2000) (Correct)
0.3: A Graphical User Interface in Ada for Domain-Specific Reuse.. - Del Gordon (Correct)
Related documents from co-citation: More All
39: Theoretical Computer Science (context) - Girard - 1987
32: A linear logical framework - Cervesato, Pfenning - 1996
24: A framework for defining logics - Harper, Honsell et al. - 1987
BibTeX entry: (Update)
Samin Ishtiaq and David Pym. A relevant analysis of natural deduction, December 1996. Manuscript. http://citeseer.ist.psu.edu/ishtiaq99relevant.html More
@article{ ishtiaq98relevant,
author = "Samin S. Ishtiaq and David J. Pym",
title = "A Relevant Analysis of Natural Deduction",
journal = "Journal of Logic and Computation",
volume = "8",
number = "6",
pages = "809-838",
year = "1998",
url = "citeseer.ist.psu.edu/ishtiaq99relevant.html" }
Citations (may not include all citations):97 Automated Deduction in Non-Classical Logics (context) - Wallen - 1990
73 Lectures on Linear Logic (context) - Troelstra - 1992
69 Curry: Essays on Combinatory Logic (context) - Seldin, Hindley et al. - 1980
60 Logic and Structure (context) - van Dalen - 1994
29 Correctness and Completeness of a Categorical Semantics of t.. (context) - Streicher - 1988
28 Semantics for relevant logics (context) - Urquhart - 1972
22 The Language Theory of AUTOMATH (context) - van Daalen - 1980
10 terms and Proof Theory (context) - Stenlund, l- - 1972
9 Edinburgh University Press (context) - Tennant - 1992
9 Number 43 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Troelstra, Schwichtenberg et al. - 1996
8 Number 681 in Lecture Notes in Artificial Intelligence (context) - Wansing, of - 1993
7 the adequacy of representing higher order intuitionistic log.. (context) - Tonino, Fujita - 1992
6 Generalized rules for quantifiers and the completeness of th.. (context) - Schroeder-Heister - 1983
4 and the role of elimination inferences (context) - Schroeder-Heister, substructural
1 The landscape of deduction (context) - van Benthem - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~si/): More
A Relevant Analysis of Natural Deduction - Ishtiaq, Pym (1996) (Correct)
Kripke resource models of a dependently-typed, bunched.. - Ishtiaq, Pym (1999) (Correct)
BI is strongly expressive - Samin Ishtiaq Department (2000) (Correct)
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