DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Proof calculus
Proof calculus
Deep Inference
Facilitating Meta-Theory Reasoning (Invited Paper)
Propositional Logic: Deductive Proof & Natural Deduction Part 1
Agent-Based Blackboard Architecture for a Higher-Order Theorem Prover
Unifying Theories of Logics with Undefinedness
Proof Terms for Classical Derivations Greg Restall* Philosophy Department the University of Melbourne
[email protected]
June 13, 2017 Version 0.922
Introducing Substitution in Proof Theory
Logic Three Tutorials at Tbilisi
A Mechanised Proof of Gödel's Incompleteness Theorems Using
Satisfiability Calculus: an Abstract Formulation of Semantic Proof Systems
Constructive Completeness Proofs and Delimited Control Danko Ilik
HISTORY of LOGICAL CONSEQUENCE 1. Introduction
Propositional Calculus • Proof Calculus for Predicate Calculus
Sophisticated Knowledge Representation and Reasoning Requires Philosophy
Deep Inference (Part 1)
Focusing Gentzen's LK Proof System
Intuitionistic Logic
Multiple Conclusion Deductions in Classical Logic
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
Introduction to Deep Inference Andrea Tubella, Lutz Straßburger
Bunched Hypersequent Calculi for Distributive Substructural Logics
From Axioms to Proof Rules, Then Add Quantifiers
Physics and Proof Theory Bruno Woltzenlogel Paleo
A Survey on Theorem Provers in Formal Methods
An Exploration in Fluid Logics
Predicate Calculus Formal Methods Lecture 5
Arxiv:0904.0071V5 [Math.LO] 7 Jun 2010 U U Olhr St Rvd a Provide to Double-Nega Is Appropriate Here Goal Some Our of but Means by Logic Classical to .Introduction 1
The Complete Proof Theory of Hybrid Systems
Automation of Mathematical Induction As Part of the History of Logic