A relevant analysis of natural deduction

DOI10.1093/LOGCOM/8.6.809MaRDI QIDQ4228076zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(11)

• Aristotle'S natural deduction reconsidered
• Specifying properties of concurrent computations in CLF
• scientific article; zbMATH DE number 7241870 (Why is no real title available?)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• scientific article; zbMATH DE number 65532 (Why is no real title available?)
• Hybridizing a logical framework
• A linear logical framework
• A Brief History of Natural Deduction
• The naturality of natural deduction
• The Logic of Bunched Implications
• Proof-search in type-theoretic languages: An introduction

Describes a project that uses

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)