A relevant analysis of natural deduction

DOI10.1093/logcom/8.6.809zbMath0915.03022OpenAlexW2157379912MaRDI QIDQ4228076

Samin Ishtiaq, David J. Pym

Publication date: 5 July 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/655d1966328590daaaf346c2b94b93d533cb96b3

zbMATH Keywords

linear logictype theorylogical frameworksrelevant logicsnatural decuction

Mathematics Subject Classification ID

Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

The Logic of Bunched Implications ⋮ A linear logical framework ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Proof-search in type-theoretic languages: An introduction ⋮ Hybridizing a Logical Framework ⋮ Specifying Properties of Concurrent Computations in CLF

Uses Software

• Automath

This page was built for publication: A relevant analysis of natural deduction