Cut elimination for propositional cyclic proof systems with fixed-point operators
From MaRDI portal
Publication:6464367
arXiv2312.12792MaRDI QIDQ6464367FDOQ6464367
Authors: Hiromasa Hori, Koji Nakazawa, Makoto Tatsuta 
Publication date: 20 December 2023
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)
