Free semantics
From MaRDI portal
Publication:600848
DOI10.1007/s10992-010-9129-3zbMath1207.03029MaRDI QIDQ600848
Publication date: 3 November 2010
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-010-9129-3
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Logic—The Big Picture, Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs, Comparing Contents with Information, FOUR BASIC LOGICAL ISSUES
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A metacompleteness theorem for contraction-free relevant logics
- Depth relevance of some paraconsistent logics
- Models for entailment
- Validity concepts in proof-theoretic semantics
- Gentzenizations of relevant logics without distribution. I
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics
- Normalized natural deduction systems for some relevant logics I: The logic DW