{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:02Z","timestamp":1761597002640},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672814"},{"type":"electronic","value":"9783540464211"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720084_7","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T14:36:30Z","timestamp":1167402990000},"page":"88-104","source":"Crossref","is-referenced-by-count":10,"title":["Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic"],"prefix":"10.1007","author":[{"given":"Paqui","family":"Lucio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-49019-1_5","volume-title":"Foundations of Software Science and Computation Structures","author":"R. Arruabarrena","year":"1999","unstructured":"Arruabarrena, R., Lucio, P., Navarro, M.: A Strong Logic Programming View for Static Embedded Implications. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 56\u201372. Springer, Heidelberg (1999)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Farinas, L., Herzig, A.: Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional. In: Baader, F., Schulz, K.U. (eds.) Frontiers in Combining Systems (Proc. Int. Workshop FroCos 1996). Applied Logic Series, pp. 93\u2013102. Kluwer Academic Publisher, Dordrecht (1996)","DOI":"10.1007\/978-94-009-0349-4_4"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Company, Dordrechtz (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"7_CR4","first-page":"365","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"M. Fitting","year":"1993","unstructured":"Fitting, M.: Basic Modal Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a01, pp. 365\u2013448. Oxford University Press, Oxford (1993)"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M.: Labelled Deductive Systems, vol.\u00a01. Oxford University Press, Oxford (1996)"},{"key":"7_CR6","unstructured":"Gabbay, D.M., Olivetti, N.: Goal-directed algorithmic proof theory, Technical Report, Imperial College of Science, Technology and Medicine (1998)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"4","author":"D.M. Gabbay","year":"1984","unstructured":"Gabbay, D.M., Reyle, U.: N-Prolog: an Extension of Prolog with Hypothetical Implications. Journal of Logic Programming\u00a04, 319\u2013355 (1984)","journal-title":"Journal of Logic Programming"},{"key":"7_CR8","first-page":"66","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigation into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 66\u2013131. North-Holland, Amsterdam (1969)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0743-1066(94)90001-9","volume":"21","author":"L. Giordano","year":"1994","unstructured":"Giordano, L., Martelli, A.: Structuring logic programs: A modal approach. Journal of Logic Programming\u00a021, 59\u201394 (1994)","journal-title":"Journal of Logic Programming"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0304-3975(92)90066-O","volume":"95","author":"L. Giordano","year":"1992","unstructured":"Giordano, L., Martelli, A., Rossi, G.: Extending Horn Clause Logic with Implications Goals. Theoretical Computer Science\u00a095, 43\u201374 (1992)","journal-title":"Theoretical Computer Science"},{"key":"7_CR11","first-page":"7","volume":"8","author":"K.J.J. Hintikka","year":"1955","unstructured":"Hintikka, K.J.J.: Form and content in quantification theory. Acta Philosophica Fennica\u00a08, 7\u201355 (1955)","journal-title":"Acta Philosophica Fennica"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00258426","volume":"8","author":"L. Humberstone","year":"1979","unstructured":"Humberstone, L.: Interval semantics for tense logic: some remarks. Journal of Philosophical Logic\u00a08, 171\u2013196 (1979)","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR13","first-page":"92","volume-title":"Formal Systems and Recursive Functions","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical analysis of intuitionistic logic I. In: Crossley, J., Dummett, M. (eds.) Formal Systems and Recursive Functions, pp. 92\u2013129. North-Holland, Amsterdam (1963)"},{"key":"7_CR14","unstructured":"Lewis, C., Langford, C.: Symbolic Logic (1st edn. 1932), (2nd edn. 1959). Dover, New York"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/BFb0013826","volume-title":"Algebraic and Logic Programming","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Multiparadigm Logic Programming. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol.\u00a0632, pp. 158\u2013200. Springer, Heidelberg (1992)"},{"key":"7_CR16","first-page":"329","volume-title":"Logic and Computer Science","author":"D. Miller","year":"1990","unstructured":"Miller, D.: Abstraction in Logic Programs. In: Odifreddi, P. (ed.) Logic and Computer Science, pp. 329\u2013359. Academic Press, London (1990)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Miller, D., Nadathur, G., Pfenning, F., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic\u00a051, 125\u2013157 (1991)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR18","unstructured":"Nadathur, G.: Uniform Provability in Classical Logic, Technical Report, Dept. of Computer Science, Univ. of Chicago, TR-96-09 (1996)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"van Dalen, D.: Logic and Structure. Springer, Heidelberg (1980)","DOI":"10.1007\/978-3-662-08402-1"},{"key":"7_CR20","unstructured":"van Dalen, D., Troelstra, A.S.: Constructivism in Mathematics: An Introduction, vol.\u00a01. Elsevier Science, North-Holland (1988)"},{"key":"7_CR21","unstructured":"van Dalen, D., Troelstra, A.S.: Constructivism in Mathematics: An Introduction, vol.\u00a02. Elsevier Science, North-Holland (1988)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720084_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:26:46Z","timestamp":1707499606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720084_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672814","9783540464211"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/10720084_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}