Proof internalization in generalized Frege systems for classical logic
| Data(s) |
2014
|
|---|---|
| Resumo |
We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs. |
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/61794/1/1-s2.0-S0168007213001164-main.pdf http://boris.unibe.ch/61794/8/sav14.pdf Savateev, Yury (2014). Proof internalization in generalized Frege systems for classical logic. Annals of pure and applied logic, 165(1), pp. 340-356. Elsevier 10.1016/j.apal.2013.07.017 <http://dx.doi.org/10.1016/j.apal.2013.07.017> doi:10.7892/boris.61794 info:doi:10.1016/j.apal.2013.07.017 urn:issn:0168-0072 |
| Idioma(s) |
eng |
| Publicador |
Elsevier |
| Relação |
http://boris.unibe.ch/61794/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess info:eu-repo/semantics/openAccess |
| Fonte |
Savateev, Yury (2014). Proof internalization in generalized Frege systems for classical logic. Annals of pure and applied logic, 165(1), pp. 340-356. Elsevier 10.1016/j.apal.2013.07.017 <http://dx.doi.org/10.1016/j.apal.2013.07.017> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
