Machine checking proof theory: An application of logic to logic

Simple item page
dc.contributor.authorGore, Rajeev
dc.coverage.spatialChennai India
dc.date.accessioned2015-12-10T22:40:50Z
dc.date.createdJanuary 7-11 2009
dc.date.issued2009
dc.date.updated2016-02-24T11:44:48Z
dc.description.abstractModern proof-assistants are now mature enough to formalise many aspects of mathematics. I outline some work we have done using the proof-assistant Isabelle to machine-check aspects of proof theory in general, and specifically the proof theory of provability logic GL.
dc.identifier.isbn9783540927006
dc.identifier.urihttp://hdl.handle.net/1885/57625
dc.publisherSpringer
dc.relation.ispartofseriesIndian Conference on Logic and Its Applications (ICLA 2009)
dc.sourceThe Proceedings of The 3rd Indian Conference on Logic and Its Applications (ICLA 2009)
dc.source.urihttp://www.informatik.uni-trier.de/~ley/db/conf/icla/icla2009.html
dc.subjectKeywords: Proof theories; Provability logic; Programming theory; Applications
dc.titleMachine checking proof theory: An application of logic to logic
dc.typeConference paper
local.bibliographicCitation.lastpage35
local.bibliographicCitation.startpage23
local.contributor.affiliationGore, Rajeev, College of Engineering and Computer Science, ANU
local.contributor.authoruidGore, Rajeev, u9409448
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationu8803936xPUB408
local.identifier.doi10.1007/978-3-540-92701-3_2
local.identifier.scopusID2-s2.0-59149096535
local.identifier.thomsonID000264751600002
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 4 of 4
Thumbnail Image
Name:
01_Gore_Machine_checking_proof_theory:_2009.pdf
Size:
216.13 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
02_Gore_Machine_checking_proof_theory:_2009.pdf
Size:
113.28 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
03_Gore_Machine_checking_proof_theory:_2009.pdf
Size:
156.65 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
04_Gore_Machine_checking_proof_theory:_2009.pdf
Size:
247.99 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS