Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic

DOI10.1007/978-3-319-29300-4_7zbMath1439.03052OpenAlexW2469645549MaRDI QIDQ3305423

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

linear logicproof theoryepistemic logicrelevance logicmodus ponens

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The nature of information: a relevant approach
• General information in relevant logic
• Relevant predication. I: The formal theory
• Models for entailment
• Light linear logic
• The semantics of entailment omega
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Semantics for dual and symmetric combinatory calculi
• Contradictory information: too much of a good thing
• Kripke models for linear logic
• Combinators and structurally free logic
• Logical Pluralism
• Semantics for relevant logics