Cut elimination for propositional cyclic proof systems with fixed-point operators

MaRDI QIDQ6464367FDO

Authors Hiromasa Hori, Koji Nakazawa, Makoto Tatsuta

Publication date 20 December 2023

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Cut elimination for propositional cyclic proof systems with fixed-point operators

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