Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Title Page
Copyright
Preface
Contents
Introduction
Herbrand Confluence for First-Order Proofs with Π2-Cuts
Proof-Oriented Categorical Semantics
Logic for Gray-code Computation
The Continuum Hypothesis Implies Excluded Middle
Theories of Proof-Theoretic Strength ψ(ΓΩ+1)
Some Remarks about Normal Rings
On Sets of Premises
Non-Deterministic Inductive Definitions and Fullness
Cyclic Proofs for Linear Temporal Logic
Craig Interpolation via Hypersequents
A General View on Normal Form Theorems for Łukasiewicz Logic with Product
Relating Quotient Completions via Categorical Logic
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction
Hilbert’s Programme and Ordinal Analysis
Aristotle’s Deductive Logic: a Proof-Theoretical Study
Remarks on Barr’s Theorem: Proofs in Geometric Theories
Endnotes
← Prev
Back
Next →
← Prev
Back
Next →