Natural Deduction Systems for Logics in the FDE Family

DOI10.1007/978-3-030-31136-0_16zbMath1469.03079OpenAlexW2997938963MaRDI QIDQ3305619

Graham Priest

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_16

zbMATH Keywords

LPfirst-degree entailmentnatural deduction systemsFDEeK\(_3\)paraconsistent weak Kleene

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (3)

A Tale of Excluding the Middle ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Semantical analysis of weak Kleene logics

Cites Work

• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Paraconsistency and analyticity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Natural Deduction Systems for Logics in the FDE Family