Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic

DOI10.1007/978-3-319-29300-4_7MaRDI QIDQ3305423zbMATH OpenOpenAlexFDO

Authors Edwin D. Mares

Publication date 7 August 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29300-4_7

zbMATH Keywords

proof theoryepistemic logiclinear logicmodus ponensrelevance logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A theory of logical relevance
• scientific article; zbMATH DE number 1828004
• The nature of information: a relevant approach
• scientific article; zbMATH DE number 2101978
• Relevant logic and the theory of information

Cites work

• scientific article; zbMATH DE number 4063046 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2062377 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 1406800 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• CHR: a constructive relevant natural-deduction logic
• Combinators and structurally free logic
• Contradictory information: too much of a good thing
• General information in relevant logic
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kripke models for linear logic
• Light linear logic
• Logical pluralism
• Models for entailment
• Relevant predication. I: The formal theory
• Semantics for dual and symmetric combinatory calculi
• Semantics for relevant logics
• The nature of information: a relevant approach
• The semantics of entailment omega

Cited in

(2)

• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Reasoning about resources and information: a linear logic approach

This page was built for publication: Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic

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