Proof internalization in generalized Frege systems for classical logic
2010 ◽
Vol 30
(11)
◽
pp. 2932-2936
2018 ◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2018 ◽
Vol 28
(4)
◽
pp. 389-413
Keyword(s):