{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:05Z","timestamp":1725455645676},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022560","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"120-131","source":"Crossref","is-referenced-by-count":0,"title":["Differentiating assumptions from extra-logical axioms in natural deduction"],"prefix":"10.1007","author":[{"given":"Mario R. F.","family":"Benevides","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"A Proof Theoretical Methodology for Multiple-World Reasoning","author":"M. Benevides","year":"1991","unstructured":"Benevides, M.: A Proof Theoretical Methodology for Multiple-World Reasoning. Department of Computing, Imperial College, U.K. (1991)"},{"key":"14_CR2","unstructured":"Benevides, M.: Axioms and Assumptions. In Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science. Uppsala (1991)"},{"key":"14_CR3","unstructured":"Benevides, M.: Avoiding the Frame-Problem. VIII Brazilian Simposium on Artificial Intelligence. Brasilia, Brazil (1991)"},{"key":"14_CR4","volume-title":"Oxford Logic Guides","author":"M. Dummett","year":"1977","unstructured":"Dummett, M.: Elements of Intuitionism. Oxford Logic Guides. Clarendon Press. Oxford (1977)"},{"key":"14_CR5","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"Enderton, H. B.: A Mathematical Introduction to Logic. Academic Press. New York (1972)"},{"key":"14_CR6","unstructured":"Gentzen, G.: Investigations into Logical Deduction. In: M. E. Szabo M. E. (ed.): The Collected Papers of Gerhard Gentzen. North Holland, pp. 68\u2013131 (1935)"},{"key":"14_CR7","series-title":"Notes by Giovanni Sambin of a series of lectures given in Padova","volume-title":"Intuitionistic Type Theory","author":"P. Martin-Lof","year":"1984","unstructured":"Martin-Lof, P.: Intuitionistic Type Theory. In: Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980. Bibliopolis. Naples (1984)"},{"key":"14_CR8","volume-title":"Handbook of Philosophical Logic, vol.3","author":"G. Sundholm","year":"1984","unstructured":"Sundholm, G.: Proof Theory and Meaning. In: Gabbay, D. and Guenthner, F. (eds.): Handbook of Philosophical Logic, vol.3. D. Reidel Publishing Company. Dordrecht (1984)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022560.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:49:00Z","timestamp":1607550540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0022560","relation":{},"subject":[]}}