Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions

DOI10.4230/LIPICS.FSCD.2021.11OpenAlexW3184979275MaRDI QIDQ6159926

Daisuke Kimura, Kenji Saotome, Koji Nakazawa

Publication date: 23 June 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/14249/pdf/LIPIcs-FSCD-2021-11.pdf/

zbMATH Keywords

linear logiccut-eliminationseparation logicbunched logiccyclic proofs

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

This page was built for publication: Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions