Detection and analysis of some redundancies in linear logic sequent proofs

DOI10.1093/LOGCOM/EXT007zbMath1327.03044OpenAlexW2041060409MaRDI QIDQ5406127

James Harland, Tatjana Lutovac

Publication date: 1 April 2014

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

Full work available at URL: https://doi.org/10.1093/logcom/ext007

zbMATH Keywords

linear logicsequent calculiproof searchBoolean constraintsredundant formulae

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Detection and analysis of some redundancies in linear logic sequent proofs