A relevant analysis of natural deduction

DOI10.1093/LOGCOM/8.6.809zbMATH Open0915.03022OpenAlexW2157379912MaRDI QIDQ4228076FDOQ4228076

Authors: Samin Ishtiaq, David 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

Recommendations

• A linear logical framework
• CHR: a constructive relevant natural-deduction logic
• scientific article; zbMATH DE number 2101978
• A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
• scientific article; zbMATH DE number 65532

zbMATH Keywords

linear logictype theorylogical frameworksrelevant logicsnatural decuction

Mathematics Subject Classification ID

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

Cited In (11)

• Aristotle'S natural deduction reconsidered
• Specifying properties of concurrent computations in CLF
• Title not available (Why is that?)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Title not available (Why is that?)
• Hybridizing a logical framework
• A Brief History of Natural Deduction
• A linear logical framework
• The naturality of natural deduction
• The Logic of Bunched Implications
• Proof-search in type-theoretic languages: An introduction

Uses Software

• Automath

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4228076)