{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T04:26:18Z","timestamp":1745036778649},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746201"},{"type":"electronic","value":"9783540746218"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74621-8_8","type":"book-chapter","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T11:46:32Z","timestamp":1187783192000},"page":"118-132","source":"Crossref","is-referenced-by-count":8,"title":["Combining Classical and Intuitionistic Implications"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaime","family":"Ramos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","first-page":"123","volume-title":"Handbook of Philosophical Logic","author":"C. Caleiro","year":"2005","unstructured":"Caleiro, C., Carnielli, W.A., Rasga, J., Sernadas, C.: Fibring of logics as a universal construction. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a013, pp. 123\u2013187. Springer, Heidelberg (2005)","edition":"2"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-3-540-31959-7_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Caleiro","year":"2005","unstructured":"Caleiro, C., Ramos, J.: Cryptomorphisms at work. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 45\u201360. Springer, Heidelberg (2005)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s11787-006-0004-5","volume":"1","author":"C. Caleiro","year":"2007","unstructured":"Caleiro, C., Ramos, J.: From fibring to cryptofibring: a solution to the collapsing problem. Logica Universalis\u00a01(1), 71\u201392 (2007)","journal-title":"Logica Universalis"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-94-009-0349-4_4","volume-title":"Frontiers of combining systems","author":"L.F.d. Cerro","year":"1996","unstructured":"Cerro, L.F.d., Herzig, A.: Combining classical and intuitionistic logic. In: Baader,, Schulz (eds.) Frontiers of combining systems, vol.\u00a03, pp. 93\u2013102. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"8_CR5","first-page":"1","volume-title":"Frontiers of Combining Systems","author":"D. Gabbay","year":"1996","unstructured":"Gabbay, D.: An overview of fibred semantics and the combination of logics. In: Baader, F., Schulz, K.U. (eds.) Frontiers of Combining Systems, vol.\u00a03, pp. 1\u201356. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"8_CR6","volume-title":"Fibring Logics","author":"D. Gabbay","year":"1999","unstructured":"Gabbay, D.: Fibring Logics. Oxford University Press, Oxford (1999)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/96709.96714","volume-title":"POPL 1990","author":"T. Griffin","year":"1990","unstructured":"Griffin, T.: A formulae-as-type notion of control. In: POPL 1990. Proc. 17th ACM Symp. Principles of Programming Languages, pp. 47\u201358. ACM Press, New York (1990)"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1016\/S1385-7258(64)50066-9","volume":"26","author":"A. Grzegorczyk","year":"1964","unstructured":"Grzegorczyk, A.: A philosophically plausible formal interpretation of intuitionistic logic. Indagationes Mathematicae\u00a026, 596\u2013601 (1964)","journal-title":"Indagationes Mathematicae"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1023\/A:1012264614940","volume":"30","author":"L. Humberstone","year":"2001","unstructured":"Humberstone, L.: The pleasures of anticipation: enriching intuitionistic logic. Journal of Philosophical Logic\u00a030, 395\u2013438 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"8_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","author":"D. Pym","year":"2002","unstructured":"Pym, D.: The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"83","author":"C. Rauszer","year":"1974","unstructured":"Rauszer, C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operators. Fudamenta Mathematicae\u00a083, 219\u2013249 (1974)","journal-title":"Fudamenta Mathematicae"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Van Dalen, D.: Intuitionistic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a03, pp. 225\u2013340. Reidel (1986)","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"8_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1004218110879","volume":"27","author":"F. Wolter","year":"1998","unstructured":"Wolter, F.: On logics with coimplication. Journal of Philosophical Logic\u00a027, 353\u2013387 (1998)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74621-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:08:57Z","timestamp":1558274937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74621-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540746201","9783540746218"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74621-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}