DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Sequent calculus
Sequent calculus
Sequent Calculus and the Specification of Computation
Chapter 1 Preliminaries
Theorem Proving in Classical Logic
Propositional Calculus
Focusing in Linear Meta-Logic: Extended Report Vivek Nigam, Dale Miller
On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem
The Sequent Calculus
Sequent Calculus for Predicate Logic
Set Theory As a Computational Logic: I
Second-Order Classical Sequent Calculus
Linear Logic As a Framework for Specifying Sequent Calculus
0.1 Sequent Calculus
1 Proof Systems for First Order Logic
A Sequent Calculus for Type Theory
Natural Deduction for the Sheffer Stroke and Peirce's Arrow (And Any Other Truth-Functional Connective)
A Minimal Classical Sequent Calculus Free of Structural Rules
Cut As Consequence
2-Sequent Calculus: a Proof Theory of Modalities
Top View
Introduction
A Sequent Calculus Proof Search Procedure and Counter-Model
Sequent Calculus Cut Elimination
Sequent Calculus Is Designed to Exactly Capture the Notion of a Ver- Ification, Introduced in Lecture 5
On Sequent Calculi Vs Natural Deductions in Logic and Computer Science
The Correspondence Between Cut-Elimination and Normalization J
A Survey of Nonstandard Sequent Calculi
Classical Sequent Calculus
Classical Sequent Calculus
Proof Theory Foundations and Applications
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics Francesca Poggiolesi
The Benefits of Sequent Calculus
Sequent Calculus Proof Systems for Inductive Definitions
From Natural Deduction to Sequent Calculus (And Back) Reading Natural Deduction: Motivation Sequent Calculus: Motivation
A Sequent Calculus for Signed Interval Logic
A Cut-Free Sequent Calculus for the Logic of Subset Spaces
A Hilbert-Style Axiomatization of Higher-Order Intuitionistic Logic
Proof Theory: from Arithmetic to Set Theory
An Introduction to Proof Theory
Object-Level Reasoning with Logics Encoded in HOL Light
A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic B Hill, F Poggiolesi
Proofs and Types
The Sequent Calculus Trainer with Automated Reasoning – Helping Students to Find Proofs
Logic and Proof Computer Science Tripos Part IB
A Short Introduction to First-Order Theorem Proving with Key 1 What
Chapter 12: Gentzen Sequent Calculus for Intuitionistic Logic
Sequent Calculus
Logics-ZF: Isabelle's Logics: FOL and ZF
A Tutorial on Computational Classical Logic and the Sequent Calculus
INF551 Computational Logic
A Multiple-Conclusion Meta-Logic
Propositions As Types ∗
An Introduction to the Display Calculus
The Cook-Reckhow Definition
Set Theory and Logic
Computational Duality and the Sequent Calculus
Set Theory for Verification
Lecture Notes on Sequent Calculus
Sequent Calculus As a Compiler Intermediate Language