Logic/Proof theory

Subject Classification

ACM: Theory of computation~Proof theory

AMS: Mathematical logic and foundations / Proof theory and constructive mathematics

2023

Synthetic Completeness

by Asta Halkjær From

Jan 09

2022

Class-based Classical Propositional Logic

by Matthew Doty

Dec 15

Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe

Dec 05

Soundness and Completeness of Implicational Logic

by Asta Halkjær From and Jørgen Villadsen

Sep 13

A Naive Prover for First-Order Logic

by Asta Halkjær From

Mar 22

First-Order Theory of Rewriting

by Alexander Lochmann and Bertram Felgenhauer

Feb 02

A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær From and Frederik Krogsdal Jacobsen

Jan 31

2021

Soundness and Completeness of an Axiomatic System for First-Order Logic

by Asta Halkjær From

Sep 24

2020

Syntax-Independent Logic Infrastructure

by Andrei Popescu and Dmitriy Traytel

Sep 16

Robinson Arithmetic

by Andrei Popescu and Dmitriy Traytel

Sep 16

From Abstract to Concrete Gödel's Incompleteness Theorems—Part II

by Andrei Popescu and Dmitriy Traytel

Sep 16

From Abstract to Concrete Gödel's Incompleteness Theorems—Part I

by Andrei Popescu and Dmitriy Traytel

Sep 16

An Abstract Formalization of Gödel's Incompleteness Theorems

by Andrei Popescu and Dmitriy Traytel

Sep 16

2019

A Sequent Calculus for First-Order Logic

by Asta Halkjær From

Jul 18

2017

Propositional Proof Systems

by Julius Michaelis and Tobias Nipkow

Jun 21

Abstract Soundness

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

Feb 10

2016

A Variant of the Superposition Calculus

by Nicolas Peltier

Sep 06

Surprise Paradox

by Joachim Breitner

Jul 17

The meta theory of the Incredible Proof Machine

by Joachim Breitner and Denis Lohner

May 20

2014

Abstract Completeness

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

Apr 16

2013

Gödel's Incompleteness Theorems

by Lawrence C. Paulson

Nov 17

2009

Invertibility in Sequent Calculi

by Peter Chapman

Aug 28

2004

Completeness theorem

by James Margetson and Tom Ridge

Sep 20