Detecting Loops During Proof Search in Propositional Affine Logic

DOI10.1093/LOGCOM/EXI072zbMath1175.03040OpenAlexW2058212458MaRDI QIDQ5488611

James Harland, Tatjana Lutovac

Publication date: 22 September 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3cf9ffe0fa5d24e94b8e1a4870842d1d9dada5c9

zbMATH Keywords

sequent calculusproof searchloop detectionaffine logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Detecting Loops During Proof Search in Propositional Affine Logic