{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T18:25:26Z","timestamp":1782498326286,"version":"3.54.5"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s11225-012-9417-8","type":"journal-article","created":{"date-parts":[[2012,6,19]],"date-time":"2012-06-19T01:56:55Z","timestamp":1340071015000},"page":"631-648","source":"Crossref","is-referenced-by-count":17,"title":["Natural Deduction for Dual-intuitionistic Logic"],"prefix":"10.1007","volume":"100","author":[{"given":"Luca","family":"Tranchini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,6,20]]},"reference":[{"key":"9417_CR1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0304-3975(99)00124-3","volume":"254","author":"T. Crolard","year":"2001","unstructured":"Crolard T.: Subtractive logic. Theoretical Computer Science 254, 151\u2013185 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9417_CR2","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1305\/ndjfl\/1093888021","volume":"18","author":"J. Czemark","year":"1977","unstructured":"Czemark J.: A remark on Gentzen\u2019s calculus of sequents. Notre Dame Journal of Formal Logic 18(3), 471\u2013474 (1977)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9417_CR3","unstructured":"de Campos Sanz, W., Falsity preservation. CLE e-print serie of Campinas University, Brazil 8, 2008, 2."},{"key":"9417_CR4","unstructured":"Dummett, M., What is a theory of meaning? (II). In G. Evans, and J. McDowell, (eds.), Truth and Meaning, Oxford University Press, 1976."},{"key":"9417_CR5","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett M.: The Logical Basis of Metaphysics. Duckworth, London. (1991)"},{"key":"9417_CR6","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift 39, 176\u2013210 (1935)","journal-title":"Mathematische Zeitschrift"},{"key":"9417_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19810270803","volume":"27","author":"N. Goodman","year":"1981","unstructured":"Goodman N.: logic of contradiction. Zeitschrift f\u00fcr Logik und Grundlagen der Mathematik 27, 119\u2013126 (1981)","journal-title":"Zeitschrift f\u00fcr Logik und Grundlagen der Mathematik"},{"key":"9417_CR8","doi-asserted-by":"crossref","unstructured":"Gor\u00e9, R., Dual intuitionistic logic revisited. In R. Dyckhoff, (ed.), TABLEAUX00: Automated Reasoning with Analytic Tableaux and Related Methods, Springer, 2000.","DOI":"10.1007\/10722086_21"},{"issue":"5","key":"9417_CR9","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1002\/malq.200310055","volume":"49","author":"N. Kamide","year":"2003","unstructured":"Kamide N.: A note on dual-intuitionistic logic. Mathematical Logic Quarterly 49(5), 519\u2013524 (2003)","journal-title":"Mathematical Logic Quarterly"},{"key":"9417_CR10","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/1385-7258(72)90053-4","volume":"34","author":"K. Lopez-Escobar E. G.","year":"1972","unstructured":"Lopez-Escobar E. G. K.: Refutability and elementary number theory. Indagationes Mathematicae 34, 362\u2013374 (1972)","journal-title":"Indagationes Mathematicae"},{"key":"9417_CR11","unstructured":"Miller, D., Out of Error: Further Essays on Critical Rationalism. Ashgate, 2006."},{"key":"9417_CR12","unstructured":"Popper, K., What is dialectic? In Conjectures and Refutations: the Growth of Scientific Knowledge. Routledge & Kegan Paul, London, 1963, pp. 312\u2013335."},{"key":"9417_CR13","volume-title":"Natural Deduction. A proof-theoretical study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz D.: Natural Deduction. A proof-theoretical study. Almqvist & Wiksell, Stockholm (1965)"},{"key":"9417_CR14","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof theory. In J. E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, North Holland, Amsterdam, 1971, pp. 235-308.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"issue":"1","key":"9417_CR15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02120864","volume":"33","author":"C. Rauszer","year":"1974","unstructured":"Rauszer C.: A formalization of propositional calculus of H-B logic. Studia Logica 33(1), 23\u201334 (1974)","journal-title":"Studia Logica"},{"key":"9417_CR16","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 operations. Fundamaenta Mathematicae 83, 219\u2013249 (1974)","journal-title":"Fundamaenta Mathematicae"},{"key":"9417_CR17","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/s11229-004-6296-1","volume":"148","author":"P. Schroeder-Heister","year":"2006","unstructured":"Schroeder-Heister P.: Validity concepts in proof-theoretic semantics. Synthese 148, 525\u2013571 (2006)","journal-title":"Synthese"},{"key":"9417_CR18","unstructured":"Schroeder-Heister, P., Schlu\u00df und Umkehrschlu\u00df: ein Beitrag zur Definitionstheorie. In C. F. Gethmann, (ed.), Akten des XXI Deutschen Kongresses f\u00a8ur Philosophie (Essen, 15.-19.9.2008), Deutsches Jahrbuch Philosophie, Band 3, Felix Meiner Verlag, Hamburg, 2009."},{"key":"9417_CR19","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s11225-005-8474-7","volume":"80","author":"Y. Shramko","year":"2005","unstructured":"Shramko Y.: Dual intuitionistic logic and a variety of negations: The logic of scientific research. Studia Logica 80, 347\u2013367 (2005)","journal-title":"Studia Logica"},{"key":"9417_CR20","unstructured":"Tranchini, L., Refutation: a proof-theoretic account. In C. Marletti, (ed.), First Pisa Colloquium in Logic, Language and Epistemology, ETS, Pisa, 2010."},{"key":"9417_CR21","unstructured":"Troelstra, A. S., H. Schwichtemberg, Basic Proof Theory, Cambridge University Press, 1996."},{"issue":"3","key":"9417_CR22","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1305\/ndjfl\/1039886520","volume":"37","author":"I. Urbas","year":"1996","unstructured":"Urbas I.: Dual-intuitionistic logic. Notre Dame Journal of Formal Logic 37(3), 440\u2013451 (1996)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9417_CR23","unstructured":"Uustalu, T., A note on anti-intuitionistic logic. Abstract presented at the Nordic Workshop on Programming Theory (NWPT\u201997), Tallinn, Estonia, 1997."},{"key":"9417_CR24","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H. Wansing","year":"2008","unstructured":"Wansing H.: Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics 18, 341\u2013364 (2008)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9417_CR25","doi-asserted-by":"crossref","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 27, 353\u2013387 (1998)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9417-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9417-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9417-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T03:16:53Z","timestamp":1561864613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9417-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9417"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9417-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}