Decision problems for linear logic with least and greatest fixed points

DOI10.4230/LIPICS.FSCD.2022.20MaRDI QIDQ6544115zbMATH OpenFDO

Authors Anupam Das, Abhishek De, Alexis Saurin

Publication date 27 May 2024

zbMATH Keywords

decidabilityfixed pointslinear logicvector addition systems

Mathematics Subject Classification ID

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

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

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)