{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:35Z","timestamp":1725663695057},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569923"},{"type":"electronic","value":"9783540478904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56992-8_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:00:44Z","timestamp":1330257644000},"page":"14-28","source":"Crossref","is-referenced-by-count":14,"title":["The basic logic of proofs"],"prefix":"10.1007","author":[{"given":"Sergei","family":"Art\u00ebmov","sequence":"first","affiliation":[]},{"given":"Tyko","family":"Stra\u00dfen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","volume-title":"Tech. Rep. IAM 92-018","author":"S. Art\u00ebmov","year":"1992","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, \u201cThe Basic Logic of Proofs,\u201d Tech. Rep. IAM 92-018, Department for computer science, University of Berne, Switzerland, September 1992."},{"key":"3_CR2","volume-title":"Tech. Rep. IAM 93-004","author":"S. Art\u00ebmov","year":"1993","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, \u201cFunctionality in the Basic Logic of Proofs,\u201d Tech. Rep. IAM 93-004, Department for computer science, University of Berne, Switzerland, January 1993."},{"key":"3_CR3","volume-title":"The unprovability of consistency: an essay in modal logic","author":"G. Boolos","year":"1979","unstructured":"G. Boolos, The unprovability of consistency: an essay in modal logic. Cambridge: Cambridge University Press, 1979."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S0049-237X(08)71123-6","volume-title":"Handbook of Mathematical Logic","author":"C. Smory\u0144ski","year":"1977","unstructured":"C. Smory\u0144ski, \u201cThe incompleteness theorems,\u201d in Handbook of Mathematical Logic (J. Barwise, ed.), ch. D.1, S3, pp. 821\u2013865, North-Holland, Amsterdam, 1977."},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. M. Solovay","year":"1976","unstructured":"R. M. Solovay, \u201cProvability interpretations of modal logic,\u201d Israel Journal of Mathematics, vol. 25, pp. 287\u2013304, 1976.","journal-title":"Israel Journal of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56992-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:58:04Z","timestamp":1619571484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56992-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569923","9783540478904"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-56992-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}