Similar Items: The Completeness of Propositional Resolution: A Simple and Constructive Proof
- An Analytic Propositional Proof System on Graphs
- 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 Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- Width and size of regular resolution proofs