How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning - researchr publication

researchr

You are not signed in
Sign in
Sign up

Edward Hermann Haeusler. How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning. Electronic Notes in Theoretical Computer Science, 315:31-46, 2015. [doi]

Abstract is missing.

runs on WebDSL