FOUR BASIC LOGICAL ISSUES
From MaRDI portal
Publication:3644802
DOI10.1017/S1755020309990219zbMath1186.03007MaRDI QIDQ3644802
Publication date: 12 November 2009
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free semantics
- A metacompleteness theorem for contraction-free relevant logics
- Common sense and relevance
- The simple consistency of a set theory based on the logic CSQ
- Rules in relevant logic. II: Formula representation
- Intuitive semantics for first-degree entailments and `coupled trees'
- Relevant implication and the case for a weaker logic
- Begründung einer strengen Implikation
- Normalized natural deduction systems for some relevant logics I: The logic DW