Proof, Sets, and Logic - Boise State University
Proof translation for CVC3
Proof Theory: From Arithmetic to Set Theory
Proof theory of witnessed G¨odel logic: a
Proof Theory of Finite-valued Logics
Proof Theory of Classical Logic
Proof Theory in Type Theory
Proof Theory for Propositional Logic
Proof theory for modal logic
Proof Theory - Andrew.cmu.edu
proof terms for classical derivations
Proof Search in Modal Logic
Proof procedures, soundness and correctness
Proof Pearl: Defining Functions over Finite Sets
Proof Pearl: Defining Functions Over Finite Sets
Proof of the Soundness Theorem
Proof Nets Sequentialisation In Multiplicative Linear Logic
Proof Issues with Existential Quantification
Proof by contrapositive, contradiction
Proof and computation rules
