Open AccessBook
Proof Theory
About:
The article was published on 1975-01-01 and is currently open access. It has received 770 citations till now. The article focuses on the topics: Proof theory & Gentzen's consistency proof.read more
Citations
More filters
Journal ArticleDOI
Elimination of cuts in first-order finite-valued logics
TL;DR: A uniform construction for sequent calculi for finite-valued first-order logics with dis- tribution quantifiers is exhibited and an analog of Herbrand's theorem for the four-valued knowledge- representation logic of Belnap and Ginsberg is presented.
Book
Proof Analysis: A Contribution to Hilbert's Last Problem
Sara Negri,Jan von Plato +1 more
TL;DR: In this article, structural proof theory of pure logic is extended to axiomatic systems and to what is known as philosophical logic, with examples drawn from theories of order, lattice theory and elementary geometry.
Journal ArticleDOI
A logic road from special relativity to general relativity
TL;DR: This work presents a streamlined axiom system of special relativity in first-order logic and “derive” an axiomSystem of general relativity in two natural steps to make general relativity more accessible for the non-specialist.
Journal ArticleDOI
Classes and truths in set theory
TL;DR: The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory, and correlates them with subsystems of Morse–Kelley class theory MK.