Similar Items: An Analytic Propositional Proof System on Graphs
- The Completeness of Propositional Resolution: A Simple and Constructive Proof
- A Finite-Model-Theoretic View on Propositional Proof Complexity
- Reduction Free Normalisation for a proof irrelevant type of propositions
- Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
- A proof system for graph (non)-isomorphism verification
- Classical propositional logic and decidability of variables in intuitionistic propositional logic