Connexive Gentzen

DOI10.1093/jigpal/jzu019zbMath1405.03090OpenAlexW4233394097MaRDI QIDQ4644500

Storrs McCall

Publication date: 8 January 2019

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzu019

zbMATH Keywords

non-classical propositional logicelimination theoremconnexive implicationGentzen proofs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)

Related Items (2)

Revisiting Reichenbach's logic ⋮ Connexive logics. An overview and current trends

This page was built for publication: Connexive Gentzen