A consecutive calculus for positive relevant implication with necessity

zbMath0448.03010MaRDI QIDQ1146659

J. Michael Dunn, Nuel D. jun. Belnap, Anil Kumar Gupta

Publication date: 1980

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

relevance logicnecessityrelevant implicationGentzen rulesconsecution calculuselimination theorem for a generalized cut rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (4)

COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Modal translations in substructural logics ⋮ Four relevant Gentzen systems ⋮ A cut-elimination proof in positive relevant logic with necessity

This page was built for publication: A consecutive calculus for positive relevant implication with necessity