The Basic Logic of Proofs

TitleThe Basic Logic of Proofs
Publication TypeConference Paper
Year of Publication1993
AuthorsArtemov, S, Strassen, T
EditorBörger, E, Jäger, G, Kleine Büning, H, Martini, S, Richter, MM
Conference NameComputer Science Logic, 6th Workshop, CSL'92, San Miniato, Italy, September 28–October 2, 1992, Selected Papers
Pagination14-28
PublisherSpringer
AbstractPropositional Provability Logic was axiomatized in [Sol76]. This logic describes the behaviour of the arithmetical operator ``$y$ is provable''. The aim of the current paper is to provide propositional axiomatizations of the predicate ``$x$ is a proof of $y$'' by means of modal logic, with the intention of meeting some of the needs of computer science.
DOI10.1007/3-540-56992-8_3