<--- Back to Details
First PageDocument Content
Proof theory / Logic in computer science / Automated theorem proving / Propositional calculus / Logical syntax / Frege system / Sequent / Proof calculus / Proof complexity / Logic / Mathematical logic / Theoretical computer science
Date: 2014-06-05 13:45:53
Proof theory
Logic in computer science
Automated theorem proving
Propositional calculus
Logical syntax
Frege system
Sequent
Proof calculus
Proof complexity
Logic
Mathematical logic
Theoretical computer science

Proof complexity of propositional default logic

Add to Reading List

Source URL: eprints.whiterose.ac.uk

Download Document from Source Website

File Size: 297,00 KB

Share Document on Facebook

Similar Documents

Truth in Mathematics: The Question of Pluralism∗ Peter Koellner “. . . before us lies the boundless ocean of unlimited possibilities.” —Carnap, The Logical Syntax of Language

DocID: 1uNva - View Document

REDO Redesigning Logical Syntax Action de Recherche Collaborative 2009 INRIA Saclay - Île-de-France

DocID: 1tNl7 - View Document

REDO — Redesigning Logical Syntax • What is it about ? Proofs are everywhere! — We are trying to improve them. • What is the problem ? Remove bureaucracy but keep the computational content.

DocID: 1tC3X - View Document

Logic / Theoretical computer science / Logic in computer science / Mathematics / Lambda calculus / Formal languages / Mathematical logic / Syntax / Combinatory logic / FO / Well-formed formula / Logic programming

Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires

DocID: 1qN5j - View Document

Logic / Computing / Mathematics / Automated theorem proving / Proof theory / Type theory / Logical truth / Syntax / Matita / Proof assistant / Mathematical proof / CurryHoward correspondence

Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd

DocID: 1qygU - View Document