Show simple item record

Files in this item

Thumbnail
Name:
BernPaper14.pdf
Size:
392.8Kb
Format:
PDF
View/Open

Intuitionistic decision procedures since Gentzen

Item metadata

dc.contributor.authorDyckhoff, Roy
dc.contributor.editorKahle, R
dc.contributor.editorStrahm, Th
dc.contributor.editorStuder, Th
dc.date.accessioned2016-05-19T08:30:06Z
dc.date.available2016-05-19T08:30:06Z
dc.date.issued2016-05-05
dc.identifier.citationDyckhoff , R 2016 , Intuitionistic decision procedures since Gentzen . in R Kahle , T Strahm & T Studer (eds) , Advances in Proof Theory . Progress in Computer Science and Applied Logic , vol. 28 , Birkhäuser Basel , pp. 245-267 , apt13 Advances in Proof Theory , Bern , Switzerland , 13/12/13 . https://doi.org/10.1007/978-3-319-29198-7_6en
dc.identifier.citationotheren
dc.identifier.isbn9783319291963
dc.identifier.isbn9783319291987
dc.identifier.issn2297-0576
dc.identifier.otherPURE: 181525710
dc.identifier.otherPURE UUID: dcce496c-acb1-49f3-8269-7ce3bff4688c
dc.identifier.otherWOS: 000389944800006
dc.identifier.urihttp://hdl.handle.net/10023/8824
dc.description.abstractGentzen solved the decision problem for intuitionistic propositional logic in his doctoral thesis [31]; this paper reviews some of the subsequent progress. Solutions to the problem are of importance both for general philosophical reasons and because of their use in implementations of proof assistants (such as Coq [4], widely used in software verification) based on intuitionistic logic.
dc.language.isoeng
dc.publisherBirkhäuser Basel
dc.relation.ispartofAdvances in Proof Theoryen
dc.relation.ispartofseriesProgress in Computer Science and Applied Logicen
dc.rights© 2016, Springer International Publishing Switzerland. This work is made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at link.springer.com / https://dx.doi.org/10.1007/978-3-319-29198-7_6en
dc.subjectBC Logicen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccBCen
dc.subject.lccQA75en
dc.titleIntuitionistic decision procedures since Gentzenen
dc.typeBook itemen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews.School of Computer Scienceen
dc.contributor.institutionUniversity of St Andrews.Centre for Interdisciplinary Research in Computational Algebraen
dc.identifier.doihttps://doi.org/10.1007/978-3-319-29198-7_6
dc.description.statusPeer revieweden


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.