{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:20:17Z","timestamp":1725524417388},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_15","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T03:54:23Z","timestamp":1356062063000},"page":"161-172","source":"Crossref","is-referenced-by-count":1,"title":["Cut Elimination for Gentzen\u2019s Sequent Calculus with Equality and Logic of Partial Terms"],"prefix":"10.1007","author":[{"given":"Franco","family":"Parlamento","sequence":"first","affiliation":[]},{"given":"Flavio","family":"Previale","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Baaz, M., Iemhoff, M.R.: On the Proof Theory of the Existence Predicate We will show them! Essays in honour of Dov Gabbay, pp. 125\u2013166. College Publication (2005)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01135376","volume":"43","author":"S. Feferman","year":"1995","unstructured":"Feferman, S.: Definedness. Erkenntnis\u00a043, 295\u2013329 (1995)","journal-title":"Erkenntnis"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.2307\/2021988","volume":"56","author":"J. Hintikka","year":"1959","unstructured":"Hintikka, J.: Existential Presupposition and Existential Commitments. Journal of Philosophy\u00a056, 125\u2013137 (1959)","journal-title":"Journal of Philosophy"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0049-237X(08)72020-2","volume-title":"Computer Programming and Formal Systems","author":"S. Kanger","year":"1963","unstructured":"Kanger, S.: A Simplified Proof Method for Elementary Logic. In: Braffort, P., Hirshberg, D. (eds.) Computer Programming and Formal Systems, pp. 87\u201394. North-Holland, Amsterdam (1963)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.2307\/2182169","volume":"68","author":"H. Leblank","year":"1959","unstructured":"Leblank, H., Hailperin, H.T.: Nondesignating Singulatr Terms. Philosophical Review\u00a068, 239\u2013243 (1959)","journal-title":"Philosophical Review"},{"key":"15_CR6","unstructured":"Lifschitz, A.V.: Specialization of the form of deduction in the predicate calculus with equality and function symbols. In: Orevkov, V.P. (ed.) The Calculi of Symbolic Logic. I, Proceedings of the Steklov Institute of Mathematics 98 (1971)"},{"key":"15_CR7","first-page":"418","volume":"147","author":"J. Plato van","year":"1998","unstructured":"van Plato, J., Negri, S.: Cut Elimination in the Presence of Axioms. The Bulletin of Symbolic Logic\u00a0147, 418\u2013435 (1998)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"15_CR8","volume-title":"Structural Proof Theory","author":"J. Plato van","year":"2001","unstructured":"van Plato, J., Negri, S.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"key":"15_CR9","unstructured":"Parlamento, F.: Truth-value semantics and functional extensions for classical logic of partial terms based on equality. ArXiv:1112.6331 (2011) (to appear in the Notre Dame J. of Form. Logic)"},{"key":"15_CR10","first-page":"21","volume":"2","author":"W.O. Quine van","year":"1948","unstructured":"van Quine, W.O.: On What there is. Review of Metaphisics\u00a02, 21\u201338 (1948)","journal-title":"Review of Metaphisics"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Identity and Existence in Intuitionistic Logic. In: Proc. Res. Symp. on Application of Sheaves 1977, Durham. Lect. Notes Math., vol.\u00a0763, pp. 660\u2013696 (1979)","DOI":"10.1007\/BFb0061839"},{"key":"15_CR12","volume-title":"The Collected Papers of Gerhard Gentzen","author":"M.E. Szabo","year":"1969","unstructured":"Szabo, M.E.: The Collected Papers of Gerhard Gentzen. North Holland, Amsterdam (1969)"},{"key":"15_CR13","volume-title":"Proof Theory. Studies in Logic and the Foundations of Mathematics","author":"G.. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a081. North Holland, Amsterdam (1975)"},{"key":"15_CR14","volume-title":"Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science","author":"A.S. Troelstra","year":"1996","unstructured":"Troelstra, A.S., Schwichtemberg, H.: Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science, vol.\u00a043. Cambridge University Press, Cambridge (1996)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:34:38Z","timestamp":1620120878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}