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 logiclogical frameworksnatural decuctionrelevant logicstype theory

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)

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

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)