Proof internalization in generalized Frege systems for classical logic

BORIS DOI
Publisher DOI
Description
We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.
Date of Publication
2014
Publication Type
Article
Subject(s)
Language(s)
en
Contributor(s)
Additional Credits
Series
Annals of pure and applied logic
Publisher
Elsevier
ISSN
0168-0072
Access(Rights)
open.access
Show full item