A Note on the Proof Method for Constructive Falsity

DOI10.1002/MALQ.19910370209MaRDI QIDQ3982256zbMATH OpenOpenAlexFDO

Authors Kazuyuki Tanaka

Publication date 26 June 1992

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19910370209

zbMATH Keywords

proof theorycut-free Gentzen-type sequent calculusconstructive falsity logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A Note on the Proof Method for Constructive Falsity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3982256)