Proof calculus
Top View
- Mathematical (Formal) Logic and Mathematical Theories
- Gödel in 20/20
- Logic 2010/2011 Introduction to Logic
- Classical Logic I: First-Order Logic
- G¨Odel Logic: from Natural Deduction to Parallel Computation
- Applications of Foundational Proof Certificates in Theorem Proving
- Logic and Computation
- A Complete Uniform Substitution Calculus for Differential Dynamic Logic
- A Proof Theoretic Basis for Relational Semantics∗
- The Sequent Calculus Trainer – Helping Students to Correctly Construct Proofs
- Curry-Howard Isomorphism Lecture 16 Thursday, March 27, 2014 1
- Lecture Notes on Truth & Proof
- Hilbert-Style Proof Calculus
- The Sequent Calculus Trainer with Automated Reasoning – Helping Students to Find Proofs
- Lecture Notes on Propositional Logic and Proofsbased on Lecture Notes Written by André Plazter
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents ∗
- From Abstract Mathematics to Verified Programs
- Applications of Foundational Proof Certificates in Theorem Proving Roberto Blanco Martínez