Proof Internalization for Generalized Frege Systems for Classical Logic

TitleProof Internalization for Generalized Frege Systems for Classical Logic
Publication TypeJournal Article
Year of Publication2014
AuthorsSavateev, Y
JournalAnnals of Pure and Applied Logic
Volume165
Pagination340-356
ISSN0168-0072
AbstractAbstract We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.
URLhttp://www.iam.unibe.ch/ltgpub/2013/sav13a.pdf
DOI10.1016/j.apal.2013.07.017