{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T06:10:32Z","timestamp":1718345432438},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,2,5]],"date-time":"2016-02-05T00:00:00Z","timestamp":1454630400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11787-016-0138-z","type":"journal-article","created":{"date-parts":[[2016,2,5]],"date-time":"2016-02-05T09:00:38Z","timestamp":1454662838000},"page":"67-97","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Structuring Co-constructive Logic for Proofs and Refutations"],"prefix":"10.1007","volume":"10","author":[{"given":"James","family":"Trafford","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,5]]},"reference":[{"issue":"3","key":"138_CR1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1093\/philmat\/4.3.209","volume":"4","author":"S. Awodey","year":"1996","unstructured":"Awodey S.: Structure in mathematics and logic: a categorical perspective. Philos. Math. 4(3), 209\u2013237 (1996)","journal-title":"Philos. Math."},{"issue":"3","key":"138_CR2","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/BF00413980","volume":"69","author":"J.L. Bell","year":"1986","unstructured":"Bell J.L.: From absolute to local mathematics. Synthese. 69(3), 409\u2013426 (1986)","journal-title":"Synthese."},{"key":"138_CR3","doi-asserted-by":"crossref","unstructured":"Bellin, G.: Categorical Proof Theory of Co-intuitionistic Linear Logic. arXiv:1407.3416 (2014)","DOI":"10.2168\/LMCS-10(3:16)2014"},{"key":"138_CR4","doi-asserted-by":"crossref","unstructured":"Bellin, G., Carrara, M., Chiffi, D., Menti, A.: Pragmatic and dialogic interpretations of bi-intuitionism, Part I. In: Logic and Logical Philosophy (2014)","DOI":"10.12775\/LLP.2015.005"},{"key":"138_CR5","unstructured":"Brunner, A.B.M., Carnielli, W.A.: Anti-intuitionism and paraconsistency (2003). http:\/\/www.cle.unicamp.br\/e-prints\/vol.3,n.1,2003.html"},{"issue":"5","key":"138_CR6","first-page":"85","volume":"3","author":"J.R.B. Cockett","year":"1997","unstructured":"Cockett J.R.B., Seely R.A.: Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories. Theory Appl. Categ. 3(5), 85\u2013131 (1997)","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"138_CR7","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. Theoret. Comput. Sci. 254(1), 151\u2013185 (2001)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"138_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s12136-011-0138-9","volume":"28","author":"M. De","year":"2013","unstructured":"De M.: Empirical negation. Acta Anal. 28(1), 49\u201369 (2013)","journal-title":"Acta Anal."},{"issue":"2","key":"138_CR9","first-page":"317","volume":"28","author":"V. Paiva de","year":"2005","unstructured":"de Paiva V., Pereira L.: A short note on intuitionistic propositional logic with multiple conclusions. Manuscrito, 28(2), 317\u2013329 (2005)","journal-title":"Manuscrito,"},{"key":"138_CR10","unstructured":"Dummett, M.: Reply to dag prawitz. In: Taylor, B. (ed.) Michael Dummett: Contributions to Philosophy, pp. 281\u2013316. Distributors for the United States and Canada. Kluwer, Dordrecht (1987)"},{"key":"138_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198505242.001.0001","volume-title":"Elements of Intuitionism","author":"M.A.E. Dummett","year":"2000","unstructured":"Dummett M.A.E.: Elements of Intuitionism. Oxford University Press, Oxford (2000)"},{"key":"138_CR12","doi-asserted-by":"crossref","first-page":"26","DOI":"10.26686\/ajl.v9i0.1819","volume":"9","author":"L. Estrada-Gonz\u00e1lez","year":"2010","unstructured":"Estrada-Gonz\u00e1lez L.: Complement-topoi and dual intuitionistic logic. Australas. J. Logic. 9, 26\u201344 (2010)","journal-title":"Australas. J. Logic."},{"key":"138_CR13","doi-asserted-by":"crossref","unstructured":"Estrada-Gonzalez, L.: From (paraconsistent) topos logic to universal (topos) logic. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic, chapter 12. Birkh\u00e4user, Basel (2015)","DOI":"10.1007\/978-3-319-15368-1_12"},{"key":"138_CR14","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and types. In: Cambridge Tracts in Theoretical Computer Science, vol. 7 (1989)"},{"key":"138_CR15","unstructured":"Goldblatt, R.: Topoi: the Categorial Analysis of Logic. Elsevier, Amsterdam (2014)"},{"key":"138_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19810270803","volume":"27","author":"N. Goodman","year":"1981","unstructured":"Goodman N.: The logic of contradictions. Zeitschrift fur Mathematische Logic und Grundlagen der Arithmetik 27, 119\u2013126 (1981)","journal-title":"Zeitschrift fur Mathematische Logic und Grundlagen der Arithmetik"},{"issue":"1","key":"138_CR17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1093\/logcom\/exn067","volume":"20","author":"R. Gor\u00e9","year":"2010","unstructured":"Gor\u00e9 R., Postniece L.: Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic. J. Logic Computat. 20(1), 233\u2013260 (2010)","journal-title":"J. Logic Computat."},{"key":"138_CR18","unstructured":"Heyting, A.: Intuitionism. North-Holland, Amsterdam (1971)"},{"key":"138_CR19","unstructured":"Hintikka, J.: If logic meets paraconsistent logic. The Many Sides of Logic, pp. 3\u201313. College Publications, London (2010)"},{"key":"138_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The Connectives","author":"L. Humberstone","year":"2011","unstructured":"Humberstone L.: The Connectives. MIT Press, Cambridge (2011)"},{"key":"138_CR21","unstructured":"Johnson, R.H.: The ambiguous relationship between pragma-dialectics and logic. In: van Eemeren, F.H., Houtlosser, P., van Rees, M.A. (eds.) Considering Pragma-Dialectics: A Festschrift for Frans H. van Eemeren, p. 127. L. Erlbaum Associates, Mahwah (2006)"},{"key":"138_CR22","doi-asserted-by":"crossref","unstructured":"Kolmogorov, A.N.: Zur deutung der intuitionistischen logik. Mathematische Zeitschrift 35, 58\u201365 (English translation in Mancosu 1998, pp. 328\u2013334) (1932)","DOI":"10.1007\/BF01186549"},{"key":"138_CR23","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic, vol. 7. Cambridge University Press, Cambridge (1988)"},{"key":"138_CR24","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, vol. 5. Springer, Berlin (1998)"},{"key":"138_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane S., Moerdijk I.: Sheaves in Geometry and Logic. Springer, Berlin (1992)"},{"key":"138_CR26","volume-title":"Sheaves in Geometry and Logic: A First Introduction to Topos Theory","author":"S. MacLane","year":"2012","unstructured":"MacLane S., Moerdijk I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, Berlin (2012)"},{"key":"138_CR27","volume-title":"From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s","author":"P. Mancosu","year":"1998","unstructured":"Mancosu P.: From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press, Oxford (1998)"},{"key":"138_CR28","doi-asserted-by":"crossref","unstructured":"Marquis, J.-P., Reyes, G.: The history of categorical logic: 1963-1977. In: Gabbay, D., Kanamori, A., Woods, J. (eds.) Handbook of the history of logic. Elsevier, Amsterdam (2011)","DOI":"10.1016\/B978-0-444-51621-3.50010-4"},{"issue":"1","key":"138_CR29","first-page":"11","volume":"1","author":"P. Martin-L\u00f6f","year":"1996","unstructured":"Martin-L\u00f6f P.: On the meanings of the logical constants and the justifications of the logical laws. Nordic J. Philos. Logic 1(1), 11\u201360 (1996)","journal-title":"Nordic J. Philos. Logic"},{"issue":"2","key":"138_CR30","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF00763507","volume":"13","author":"E. Martino","year":"1994","unstructured":"Martino E., Usberti G.: Temporal and atemporal truth in intuitionistic mathematics. Topoi 13(2), 83\u201392 (1994)","journal-title":"Topoi"},{"key":"138_CR31","unstructured":"Mellies, P.-A.: A micrological study of negation. manuscript, available at the author\u2019s web page (2014)"},{"key":"138_CR32","doi-asserted-by":"crossref","unstructured":"Mortensen, C.: Inconsistent Mathematics, vol. 312. Springer, Berlin (1995)","DOI":"10.1007\/978-94-015-8453-1"},{"issue":"1","key":"138_CR33","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson D.: Constructible falsity. J. Symbol. Logic. 14(1), 16\u201326 (1949)","journal-title":"J. Symbol. Logic."},{"issue":"3","key":"138_CR34","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s11229-004-6295-2","volume":"148","author":"D. Prawitz","year":"2006","unstructured":"Prawitz D.: Meaning approached via proofs. Synthese. 148(3), 507\u2013524 (2006)","journal-title":"Synthese."},{"issue":"2","key":"138_CR35","doi-asserted-by":"crossref","first-page":"165","DOI":"10.5007\/1808-1711.2009v13n2p165","volume":"13","author":"G. Priest","year":"2009","unstructured":"Priest G.: Dualising Intuitionictic Negation. Principia 13(2), 165\u2013184 (2009)","journal-title":"Principia"},{"key":"138_CR36","doi-asserted-by":"crossref","unstructured":"Raatikainen P.: Conceptions of truth in intuitionism. History Philos. Logic. 25(2), 131\u201345 (2004)","DOI":"10.1080\/014453401625669"},{"issue":"1-2","key":"138_CR37","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02121115","volume":"36","author":"C. Rauszer","year":"1977","unstructured":"Rauszer C.: Applications of kripke models to heyting-brouwer logic. Studia Logica. 36(1-2), 61\u201371 (1977)","journal-title":"Studia Logica."},{"issue":"2","key":"138_CR38","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/s11225-009-9197-y","volume":"92","author":"G. Restall","year":"2009","unstructured":"Restall G.: Truth values and proof theory. Studia Logica. 92(2), 241\u2013264 (2009)","journal-title":"Studia Logica."},{"issue":"2\u20133","key":"138_CR39","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(2\u20133), 347\u2013367 (2005)","journal-title":"Studia Logica."},{"issue":"1","key":"138_CR40","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/11.6.761","volume":"11","author":"Y. Shramko","year":"2001","unstructured":"Shramko Y., Dunn J.M., Takenaka T.: The trilaticce of constructive truth values. J. Logic Computat. 11(1), 761\u2013788 (2001)","journal-title":"J. Logic Computat."},{"issue":"3","key":"138_CR41","first-page":"102","volume":"19","author":"T. Skura","year":"1990","unstructured":"Skura T.: On pure refutation formulations of sentential logics. Bull. Sect. Logic 19(3), 102\u2013107 (1990)","journal-title":"Bull. Sect. Logic"},{"issue":"2","key":"138_CR42","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s11787-011-0035-4","volume":"5","author":"T. Skura","year":"2011","unstructured":"Skura T.: On refutation rules. Logica Universalis. 5(2), 249\u2013254 (2011)","journal-title":"Logica Universalis."},{"key":"138_CR43","unstructured":"Skura, T.: Refutability and post-completeness. http:\/\/www.uni-log.org\/contest2013\/skura1.pdf"},{"issue":"1","key":"138_CR44","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02121863","volume":"29","author":"J. S\u0142upecki","year":"1971","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions. I. Studia Logica 29(1), 75\u2013123 (1971)","journal-title":"I. Studia Logica"},{"issue":"1","key":"138_CR45","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF02120839","volume":"30","author":"J. S\u0142upecki","year":"1972","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U: The theory of rejected propositions. II. Studia Logica 30(1), 97\u2013145 (1972)","journal-title":"II. Studia Logica"},{"key":"138_CR46","doi-asserted-by":"crossref","unstructured":"Solomon, G., DeVidi, D.: Empirical negation in intuitionistic logic. In: A Logical Approach to Philosophy, pp. 151\u2013168. Springer, Berlin (2006)","DOI":"10.1007\/1-4020-4054-7_8"},{"issue":"3","key":"138_CR47","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10992-010-9153-3","volume":"40","author":"F. Steinberger","year":"2011","unstructured":"Steinberger F.: Why conclusions should remain single. J. Philos. Logic 40(3), 333\u2013355 (2011)","journal-title":"J. Philos. Logic"},{"key":"138_CR48","doi-asserted-by":"crossref","unstructured":"Stra\u00dfurger, L.: What is a logic, and what is a proof? In: Logica Universalis, pp. 135\u2013152. Springer, Berlin (2007)","DOI":"10.1007\/978-3-7643-8354-1_8"},{"issue":"4","key":"138_CR49","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1515\/sh-2015-0004","volume":"3","author":"J. Trafford","year":"2015","unstructured":"Trafford J.: Co-constructive logic for proofs and refutations. Studia Humana 3(4), 22\u201340 (2015)","journal-title":"Studia Humana"},{"key":"138_CR50","doi-asserted-by":"crossref","unstructured":"Trafford, J.: Duality and inferential semantics. In: Axiomathes, pp. 1\u201319, (2015)","DOI":"10.1007\/s10516-014-9263-6"},{"key":"138_CR51","unstructured":"Troelstra A.S., Van Dalen D.: Constructivism in Mathematics: An Introduction. North-Holland, Amsterdam (1988)"},{"issue":"3","key":"138_CR52","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 J. Formal Logic 37(3), 440\u2013451 (1996)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"1","key":"138_CR53","first-page":"54","volume":"2","author":"R. W\u00f3jcicki","year":"1973","unstructured":"W\u00f3jcicki R.: Dual counterparts of consequence operations. Bull. Sect. Logic 2(1), 54\u201357 (1973)","journal-title":"Bull. Sect. Logic"},{"key":"138_CR54","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi. Basic Theory of Consequence Operations","author":"R. Wojcicki","year":"1988","unstructured":"Wojcicki R.: Theory of Logical Calculi. Basic Theory of Consequence Operations. Kluwer, Dordrecht (1988)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-016-0138-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-016-0138-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-016-0138-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T05:39:20Z","timestamp":1718343560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-016-0138-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,5]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["138"],"URL":"https:\/\/doi.org\/10.1007\/s11787-016-0138-z","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,5]]}}}