A natural deduction system for first degree entailment
From MaRDI portal
Publication:5937857
DOI10.1305/ndjfl/1038949541zbMath0967.03018MaRDI QIDQ5937857
Koji Tanaka, Allard M. Tamminga
Publication date: 17 July 2001
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1038949541
relevant logic; combined systems; first degree entailment; four-valued semantics; natural deduction system
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Proof theory of Nelson's paraconsistent logic: a uniform perspective, Correspondence analysis and automated proof-searching for first degree entailment, Natural deduction systems for Nelson's paraconsistent logic and its neighbors
Cites Work
- Simplified semantics for basic relevant logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- A semantical analysis of implicational system I and of the first degree of entailment
- A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
- Begründung einer strengen Implikation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item