The Basic Logic of Proofs. Artemov, S. & Strassen, T. Technical Report iam–92–018, Institut für Informatik und angewandte Mathematik, 1992. Paper abstract bibtex Propositional 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.
@TechReport{as92,
Author = {Sergei Artemov and Tyko Strassen},
Title = {{The Basic Logic of Proofs}},
Institution = {Institut f{\"u}r Informatik und angewandte Mathematik},
Number = {iam--92--018},
abstract = "Propositional 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.",
url = {http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018},
year = 1992
}
Downloads: 0
{"_id":"7ZAChXTcB4ox4ZAo3","bibbaseid":"artemov-strassen-thebasiclogicofproofs-1992","authorIDs":[],"author_short":["Artemov, S.","Strassen, T."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Sergei"],"propositions":[],"lastnames":["Artemov"],"suffixes":[]},{"firstnames":["Tyko"],"propositions":[],"lastnames":["Strassen"],"suffixes":[]}],"title":"The Basic Logic of Proofs","institution":"Institut für Informatik und angewandte Mathematik","number":"iam–92–018","abstract":"Propositional 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.","url":"http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018","year":"1992","bibtex":"@TechReport{as92,\n Author = {Sergei Artemov and Tyko Strassen},\n Title = {{The Basic Logic of Proofs}},\n Institution = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n Number = {iam--92--018},\n abstract = \"Propositional Provability Logic was axiomatized\n in~[Sol76]. This logic describes the behaviour of the\n arithmetical operator ``$y$~is provable''. The aim of\n the current paper is to provide propositional\n axiomatizations of the predicate ``$x$~is a proof\n of~$y$'' by means of modal logic, with the intention of\n meeting some of the needs of computer science.\",\n url = {http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018},\n year = 1992\n}\n\n","author_short":["Artemov, S.","Strassen, T."],"key":"as92","id":"as92","bibbaseid":"artemov-strassen-thebasiclogicofproofs-1992","role":"author","urls":{"Paper":"http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018"},"downloads":0},"bibtype":"techreport","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.074Z","downloads":0,"keywords":[],"search_terms":["basic","logic","proofs","artemov","strassen"],"title":"The Basic Logic of Proofs","year":1992,"dataSources":["jFQMeatnEb8qn3qdH"]}