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)
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (2)
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
This page was built for publication: FOUR BASIC LOGICAL ISSUES