A tableau style proof system for two paraconsistent logics

DOI10.1305/NDJFL/1093634659zbMath0792.03013OpenAlexW1988056011MaRDI QIDQ1309339

Anthony Bloesch

Publication date: 6 December 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634659

zbMATH Keywords

semantic tableauxLPFirst Degree Entailmenttableau proof-theory

Mathematics Subject Classification ID

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

Related Items (2)

Proof theory of paraconsistent weak Kleene logic ⋮ Relevance-Sensitive Truth-Trees

This page was built for publication: A tableau style proof system for two paraconsistent logics