Rewriting with Linear Inferences in Propositional Logic

DOI10.4230/LIPIcs.RTA.2013.158zbMath1356.03099OpenAlexW25034683MaRDI QIDQ2958382

Anupam Das

Publication date: 1 February 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.RTA.2013.158

zbMATH Keywords

propositional logicproof theorycomplexity of proofsdeep inference

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items

On the Power of Substitution in the Calculus of Structures ⋮ Combinatorial flows as bicolored atomic flows ⋮ Enumerating Independent Linear Inferences ⋮ On linear rewriting systems for Boolean logic and some applications to proof theory ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ Unnamed Item