scientific article; zbMATH DE number 1373384

MaRDI QIDQ4704073zbMATH OpenFDO

Authors Ryo Kashima, Norihiro Kamide

Publication date 2 December 1999

Mathematics Subject Classification ID

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

This page was built for publication:

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