{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T04:22:28Z","timestamp":1791087748053,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676973","type":"print"},{"value":"9783540450085","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_21","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T19:43:15Z","timestamp":1167421395000},"page":"252-267","source":"Crossref","is-referenced-by-count":44,"title":["Dual Intuitionistic Logic Revisited"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Gor\u00e9","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N.D. Belnap","year":"1982","unstructured":"Belnap, N.D.: Display logic. Journal of Philosophical Logic\u00a011, 375\u2013417 (1982)","journal-title":"Journal of Philosophical Logic"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Crolard, T.: Subtractive logic. Theor. Comp. Sci. (to appear)","DOI":"10.1016\/S0304-3975(99)00124-3"},{"key":"21_CR3","volume-title":"Foundations of Mathematical Logic","author":"H.B. Curry","year":"1976","unstructured":"Curry, H.B.: Foundations of Mathematical Logic. Dover, New York (1976)"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1305\/ndjfl\/1093888021","volume":"18","author":"J. Czermak","year":"1977","unstructured":"Czermak, J.: A remark on Gentzen\u2019s calculus of sequents. Notre Dame Journal of Formal Logic\u00a018(3), 471\u2013474 (1977)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"21_CR5","series-title":"Translations of Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/067","volume-title":"Mathematical Intuitionism: Introduction to Proof Theory","author":"A.G. Dragalin","year":"1988","unstructured":"Dragalin, A.G.: Mathematical Intuitionism: Introduction to Proof Theory. Translations of Mathematical Monographs. vol.\u00a067. AMS, USA (1988)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. JSL\u00a057(3) (1992)","DOI":"10.2307\/2275431"},{"key":"#cr-split#-21_CR7.1","doi-asserted-by":"crossref","unstructured":"Goodman, N.D.: The logic of contradiction (abstract). Notices of the American Mathematical Society\u00a025, A-24 (1978);","DOI":"10.1002\/malq.19780242514"},{"key":"#cr-split#-21_CR7.2","unstructured":"Abstract number 752-02-2"},{"key":"21_CR8","first-page":"119","volume":"27","author":"N.D. Goodman","year":"1981","unstructured":"Goodman, N.D.: The logic of contradiction. ZML\u00a027, 119\u2013126 (1981)","journal-title":"ZML"},{"key":"21_CR9","unstructured":"Gor\u00e9, R.: A uniform display system for intuitionistic and dual intuitionistic logic. TR-ARP-6-95, Automated Reasoning Project, Australian Nat. Uni."},{"key":"21_CR10","unstructured":"Gor\u00e9, R.: Intuitionistic logic redisplayed. TR-ARP-1-95, Automated Reasoning Project, Australian National University (1995)"},{"key":"21_CR11","series-title":"LNCS","first-page":"198","volume-title":"CSL 1996","author":"R. Gor\u00e9","year":"1997","unstructured":"Gor\u00e9, R.: Cut-free display calculi for relation algebras. In: CSL 1996. LNCS, vol.\u00a01258, pp. 198\u2013210. Springer, Heidelberg (1997)"},{"issue":"3","key":"21_CR12","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","volume":"6","author":"R. Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R.: Substructural logics on display. Log. J. IGPL\u00a06(3), 451\u2013504 (1998)","journal-title":"Log. J. IGPL"},{"key":"21_CR13","first-page":"80","volume":"25","author":"P. Lukowski","year":"1996","unstructured":"Lukowski, P.: Modal Interpretation of Heyting-Brouwer Logic. Bulletin of the Section of Logic\u00a025, 80\u201383 (1996)","journal-title":"Bulletin of the Section of Logic"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J.C.C. McKinsey","year":"1946","unstructured":"McKinsey, J.C.C., Tarski, A.: On closed elements in closure algebras. Annals of Mathematics\u00a047, 122\u2013162 (1946)","journal-title":"Annals of Mathematics"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Rauszer, C.: Semi-boolean algebras and their applications to intuitionistic logic with dual operators. Fundamenta Mathematicae (1974)","DOI":"10.4064\/fm-83-3-219-249"},{"key":"21_CR16","unstructured":"Rauszer, C.: An algebraic and Kripke-style approach to a certain extension of in- tuitionistic logic. Dissertationes Mathematicae, Institute of Mathematics, Polish Academy of Sciences, vol.\u00a0CLXVII (1980)"},{"issue":"3","key":"21_CR17","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1305\/ndjfl\/1039886520","volume":"37","author":"I. Urbas","year":"1996","unstructured":"Urbas, I.: Dual intuitionistic logic. NDJFL\u00a037(3), 440\u2013451 (1996)","journal-title":"NDJFL"},{"key":"21_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1280-4","volume-title":"Displaying Modal Logic","author":"H. Wansing","year":"1998","unstructured":"Wansing, H.: Displaying Modal Logic. Kluwer, Dordrecht (1998) (trends in Logic)"},{"key":"21_CR19","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. J. Phil. Logic\u00a027, 353\u2013387 (1998)","journal-title":"J. Phil. Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T12:43:40Z","timestamp":1707482620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/10722086_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}