dc.date.accessioned | 2024-02-09T18:11:34Z | |
dc.date.available | 2024-02-09T18:11:34Z | |
dc.date.created | 2024-01-19T14:34:42Z | |
dc.date.issued | 2024 | |
dc.identifier.citation | Brauer, Ethan Erich . Coarsening Natural Deduction Proofs I: Finding Perfect Proofs. Journal of Logic and Computation. 2024 | |
dc.identifier.uri | http://hdl.handle.net/10852/107781 | |
dc.description.abstract | Abstract
This paper explores how, given a proof, we can systematically transform it into a proof that contains no irrelevancies and which is as strong as possible. I define a weaker and stronger notion of what counts as a proof with no irrelevancies, calling them perfect proofs and gaunt proofs, respectively. Using classical core logic to study classical validities and core logic to study intuitionistic validities, I show that every core proof or classical core proof can be transformed into a perfect proof. In a sequel paper, I show how proofs in core logic can also be transformed into gaunt proofs and I observe that this property fails for classical core logic. | |
dc.language | EN | |
dc.rights | Attribution 4.0 International | |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
dc.title | Coarsening Natural Deduction Proofs I: Finding Perfect Proofs | |
dc.title.alternative | ENEngelskEnglishCoarsening Natural Deduction Proofs I: Finding Perfect Proofs | |
dc.type | Journal article | |
dc.creator.author | Brauer, Ethan Erich | |
cristin.unitcode | 185,14,33,0 | |
cristin.unitname | Institutt for filosofi, idé- og kunsthistorie og klassiske språk | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |
dc.identifier.cristin | 2230624 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Journal of Logic and Computation&rft.volume=&rft.spage=&rft.date=2024 | |
dc.identifier.jtitle | Journal of Logic and Computation | |
dc.identifier.doi | https://doi.org/10.1093/logcom/exad077 | |
dc.type.document | Tidsskriftartikkel | |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0955-792X | |
dc.type.version | PublishedVersion | |
cristin.articleid | exad077 | |