Article ID Journal Published Year Pages File Type
4661969 Annals of Pure and Applied Logic 2014 17 Pages PDF
Abstract

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Proof internalization in generalized Frege systems for classical logic
Authors
,