Decision problems for linear logic with least and greatest fixed points

DOI10.4230/LIPICS.FSCD.2022.20zbMATH Open1541.03169MaRDI QIDQ6544115FDOQ6544115

Authors: Anupam Das, Abhishek De, Alexis Saurin 

Publication date: 27 May 2024

Recommendations

• Decision problems for propositional linear logic
• PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points
• Local validity for circular proofs in linear logic with fixed points

zbMATH Keywords

decidabilityfixed pointslinear logicvector addition systems

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (2)

• Local validity for circular proofs in linear logic with fixed points
• Kleene star, subexponentials without contraction, and infinite computations

This page was built for publication: Decision problems for linear logic with least and greatest fixed points

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