Proof internalization in generalized Frege systems for classical logic

https://doi.org/10.1016/j.apal.2013.07.017Get rights and content
Under an Elsevier user license
open archive

Abstract

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

MSC

03B45
03F07
03F45
03F05

Keywords

Justification logic
Modal logic
Classical logic

Cited by (0)

1

The research was partly supported by Hasler Foundation.

Copyright © 2013 Elsevier B.V. All rights reserved.