{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,22]],"date-time":"2026-02-22T00:05:38Z","timestamp":1771718738509,"version":"3.50.1"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:00:00Z","timestamp":1497571200000},"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":["Synthese"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11229-017-1458-0","type":"journal-article","created":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:56:52Z","timestamp":1497635812000},"page":"5485-5496","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Paraconsistency in classical logic"],"prefix":"10.1007","volume":"195","author":[{"given":"Gabriele","family":"Pulcini","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9410-0405","authenticated-orcid":false,"given":"Achille C.","family":"Varzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,16]]},"reference":[{"key":"1458_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11225-011-9346-y","volume":"99","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Avron, A., & Zamansky, A. (2011). Ideal paraconsistent logics. Studia Logica, 99, 31\u201360.","journal-title":"Studia Logica"},{"key":"1458_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1017\/S0027763000013532","volume":"38","author":"AI Arruda","year":"1970","unstructured":"Arruda, A. I., & da Costa, N. C. A. (1970). Sur le sch\u00e9ma de la s\u00e9paration. Nagoya Mathematical Journal, 38, 71\u201384.","journal-title":"Nagoya Mathematical Journal"},{"key":"1458_CR3","unstructured":"Batens, D. (1980). Paraconsistent extensional propositional logics. Logique et Analyse, 23, 195\u2013234."},{"key":"1458_CR4","first-page":"95","volume-title":"Frontiers of paraconsistent logic","author":"J-Y B\u00e9ziau","year":"2000","unstructured":"B\u00e9ziau, J.-Y. (2000). What is paraconsistent logic? In D. Batens, C. Mortensen, G. Priest, & J.-P. van Bendegem (Eds.), Frontiers of paraconsistent logic (pp. 95\u2013111). Baldock: Research Studies Press."},{"key":"1458_CR5","first-page":"301","volume":"9","author":"J-Y B\u00e9ziau","year":"2002","unstructured":"B\u00e9ziau, J.-Y. (2002a). S5 is a paraconsistent logic and so is first-order classical logic. Logical Investigations, 9, 301\u2013309.","journal-title":"Logical Investigations"},{"key":"1458_CR6","unstructured":"B\u00e9ziau, J.-Y. (2002b). Are paraconsistent negations negations? In W. A. Carnielli, M. E. Coniglio, & I. M. L. D\u2019Ottaviano (Eds.), Paraconsistency: The logical way to the inconsistent. Proceedings of the 2nd world congress (pp. 465\u2013486). New York: Dekker."},{"key":"1458_CR7","first-page":"1","volume-title":"Soyons logiques\/Let\u2019s be logical","author":"J-Y B\u00e9ziau","year":"2016","unstructured":"B\u00e9ziau, J.-Y., & Buchsbaum, A. (2016). Let us be antilogical: Anti-classical logic as a logic. In A. Moktefi, A. Moretti, & F. Schang (Eds.), Soyons logiques\/Let\u2019s be logical (pp. 1\u201310). London: College Publications."},{"key":"1458_CR8","unstructured":"Bonatti, P. (1993). A Gentzen system for non-theorems. Technical Report CD-TR 93\/52. Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme."},{"key":"1458_CR9","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/505372.505374","volume":"3","author":"P Bonatti","year":"2002","unstructured":"Bonatti, P., & Olivetti, N. (2002). Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, 3, 226\u2013278.","journal-title":"ACM Transactions on Computational Logic"},{"key":"1458_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.26686\/ajl.v6i0.1793","volume":"6","author":"RT Brady","year":"2008","unstructured":"Brady, R. T. (2008). A rejection system for the first-degree formulae of some relevant logics. Australasian Journal of Logic, 6, 55\u201369.","journal-title":"Australasian Journal of Logic"},{"key":"1458_CR11","first-page":"9","volume":"102","author":"DJ Brown","year":"1973","unstructured":"Brown, D. J., & Suszko, R. (1973). Abstract logics. Dissertationes Mathematicae, 102, 9\u201342.","journal-title":"Dissertationes Mathematicae"},{"key":"1458_CR12","first-page":"3","volume":"6","author":"G Bryll","year":"1969","unstructured":"Bryll, G., & Maduch, M. (1969). Aksjomaty odrzucone dla wielowarto\u015bciowych logik \u0141ukasiewicza. Zeszyty Naukowe Wy\u017cszej Szko\u0142y Pedagogicznej w Opolu, Seria A, Matematyka, 6, 3\u201319.","journal-title":"Zeszyty Naukowe Wy\u017cszej Szko\u0142y Pedagogicznej w Opolu, Seria A, Matematyka"},{"key":"1458_CR13","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1080\/00201740701698670","volume":"50","author":"O Bueno","year":"2007","unstructured":"Bueno, O. (2007). Troubles with trivialism. Inquiry, 50, 655\u2013667.","journal-title":"Inquiry"},{"key":"1458_CR14","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1002\/int.20304","volume":"23","author":"R Caferra","year":"2008","unstructured":"Caferra, R., & Peltier, N. (2008). Accepting\/rejecting propositions from accepted\/rejected propositions: A unifying overview. International Journal of Intelligent Systems, 23, 999\u20131020.","journal-title":"International Journal of Intelligent Systems"},{"key":"1458_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1305\/ndjfl\/1093888218","volume":"19","author":"X Caicedo","year":"1978","unstructured":"Caicedo, X. (1978). A formal system for the non-theorems of the propositional calculus. Notre Dame Journal of Formal Logic, 19, 147\u2013151.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1458_CR16","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"WA Carnielli","year":"2007","unstructured":"Carnielli, W. A., Coniglio, M. E., & Marcos, J. (2007). Logics of formal inconsistency. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (2nd ed., Vol. 14, pp. 1\u201393). Dordrecht: Kluwer.","edition":"2"},{"key":"1458_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1201\/9780203910139","volume-title":"Paraconsistency: The logical way to the inconsistent. Proceedings of the 2nd world congress","author":"WA Carnielli","year":"2002","unstructured":"Carnielli, W. A., & Marcos, J. (2002). A taxonomy of C-systems. In W. A. Carnielli, M. E. Coniglio, & I. M. L. D\u2019Ottaviano (Eds.), Paraconsistency: The logical way to the inconsistent. Proceedings of the 2nd world congress (pp. 1\u201394). New York: Dekker."},{"key":"1458_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1093\/jigpal\/jzx012","volume":"25","author":"WA Carnielli","year":"2017","unstructured":"Carnielli, W. A., & Pulcini, G. (2017). Cut-elimination and deductive polarization in complementary classical logic. Logic Journal of the IGPL, 25, 273\u2013282.","journal-title":"Logic Journal of the IGPL"},{"key":"1458_CR19","first-page":"365","volume-title":"Circularity, definition, and truth","author":"R Casati","year":"2000","unstructured":"Casati, R., & Varzi, A. C. (2000). True and false: An exchange. In A. Gupta & A. Chapuis (Eds.), Circularity, definition, and truth (pp. 365\u2013370). New Delhi: Indian Council of Philosophical Research."},{"key":"1458_CR20","doi-asserted-by":"crossref","first-page":"313","DOI":"10.12775\/LLP.2015.007","volume":"24","author":"A Citkin","year":"2015","unstructured":"Citkin, A. (2015). A meta-logic of inference rules: Syntax. Logic and Logical Philosophy, 24, 313\u2013337.","journal-title":"Logic and Logical Philosophy"},{"key":"1458_CR21","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497\u2013510.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1458_CR22","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/BF00370199","volume":"48","author":"R Dutkiewicz","year":"1989","unstructured":"Dutkiewicz, R. (1989). The method of axiomatic rejection for intuitionistic propositional logic. Studia Logica, 48, 449\u2013459.","journal-title":"Studia Logica"},{"key":"1458_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50, 1\u2013101.","journal-title":"Theoretical Computer Science"},{"key":"1458_CR24","volume-title":"Proofs and types","author":"J-Y Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge: Cambridge University Press."},{"key":"1458_CR25","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF01054714","volume":"53","author":"V Goranko","year":"1994","unstructured":"Goranko, V. (1994). Refutation systems in modal logic. Studia Logica, 53, 299\u2013324.","journal-title":"Studia Logica"},{"key":"1458_CR26","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1002\/malq.19610070603","volume":"7","author":"T Hailperin","year":"1961","unstructured":"Hailperin, T. (1961). A complete set of axioms for logical formulas invalid in some finite domain. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 7, 84\u201396.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"1458_CR27","doi-asserted-by":"crossref","unstructured":"Ja\u015bkowski, S. (1948). Rachunek zda\u0144 dla system\u00f3w dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunesis, Sectio A, 1, 55\u201377. (Eng. trans. by Wojtasiewicz, O. (1969). Propositional calculus for contradictory deductive systems. Studia Logica, 24, 143\u2013157.)","DOI":"10.1007\/BF02134311"},{"key":"1458_CR28","first-page":"119","volume":"4","author":"I Johansson","year":"1936","unstructured":"Johansson, I. (1936). Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica, 4, 119\u2013136.","journal-title":"Compositio Mathematica"},{"key":"1458_CR29","first-page":"211","volume-title":"Handbook of defeasible reasoning and uncertainty management systems","author":"W Lenzen","year":"1998","unstructured":"Lenzen, W. (1998). Necessary conditions for negation-operators (with particular applications to paraconsistent negation). In D. M. Gabbay & P. Smets (Eds.), Handbook of defeasible reasoning and uncertainty management systems (pp. 211\u2013239). Berlin: Springer."},{"key":"1458_CR30","volume-title":"Symbolic logic","author":"CI Lewis","year":"1932","unstructured":"Lewis, C. I., & Langford, C. H. (1932). Symbolic logic. New York: Century."},{"key":"1458_CR31","unstructured":"\u0141ukasiewicz, J. (1939). O sylogistyce Arystotelesa. Sprawozdania z czynno\u015bci i posiedze\u0144 Polskiej Akademii Umiej\u0119tno\u015bci, 44, 220\u2013227 (published in 1946)."},{"key":"1458_CR32","volume-title":"Aristotle\u2019s syllogistic from the standpoint of modern formal logic","author":"J \u0141ukasiewicz","year":"1951","unstructured":"\u0141ukasiewicz, J. (1951). Aristotle\u2019s syllogistic from the standpoint of modern formal logic. Oxford: Clarendon Press."},{"key":"1458_CR33","unstructured":"Massey, G. (1978). Indeterminacy, inscrutability, and ontological relativity. In N. Rescher (Ed.), Studies in ontology (pp. 43\u201355). Oxford: Basil Blackwell."},{"key":"1458_CR34","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1305\/ndjfl\/1093890998","volume":"14","author":"CG Morgan","year":"1973","unstructured":"Morgan, C. G. (1973). Sentential calculus for logical falsehoods. Notre Dame Journal of Formal Logic, 14, 347\u2013353.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1458_CR35","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1305\/ndjfl\/1193667709","volume":"48","author":"CG Morgan","year":"2007","unstructured":"Morgan, C. G., Hertel, A., & Hertel, P. (2007). A sound and complete proof theory for propositional logical contingencies. Notre Dame Journal of Formal Logic, 48, 521\u2013530.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1458_CR36","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-20895-9_28","volume-title":"Logic programming and nonmonotonic reasoning. Proceedings of the 11th conference","author":"J Oetsch","year":"2011","unstructured":"Oetsch, J., & Tompits, H. (2011). Gentzen-type refutation systems for three-valued logics with an application to disproving strong equivalence. In J. P. Delgrande & W. Faber (Eds.), Logic programming and nonmonotonic reasoning. Proceedings of the 11th conference (pp. 254\u2013259). Berlin: Springer."},{"key":"1458_CR37","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8, 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"key":"1458_CR38","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1080\/00048400012349471","volume":"78","author":"G Priest","year":"2000","unstructured":"Priest, G. (2000). Could everything be true? Australasian Journal of Philosophy, 78, 189\u2013195.","journal-title":"Australasian Journal of Philosophy"},{"key":"1458_CR39","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of philosophical logic","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Paraconsistent logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 6, pp. 287\u2013393). Dordrecht: Kluwer.","edition":"2"},{"key":"1458_CR40","first-page":"129","volume-title":"Handbook of the history of logic","author":"G Priest","year":"2007","unstructured":"Priest, G. (2007). Paraconsistency and dialetheism. In D. M. Gabbay & J. Woods (Eds.), Handbook of the history of logic (Vol. 8, pp. 129\u2013204). Amsterdam: North-Holland."},{"key":"1458_CR41","unstructured":"Priest, G., Tanaka, K. & Weber, Z. (2015). Paraconsistent logic. In E.\u00a0N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Spring 2015 Edition. http:\/\/plato.stanford.edu\/archives\/spr2015\/entries\/logic-paraconsistent"},{"key":"1458_CR42","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/malq.19880340304","volume":"34","author":"LZ Puga","year":"1988","unstructured":"Puga, L. Z., & da Costa, N. C. A. (1988). On the imaginary logic of N. A. Vasiliev. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 34, 205\u2013211.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"1458_CR43","unstructured":"Scott, D. (1957). Completeness proofs for the intuitionistic sentential calculus. In Summaries of talks presented at the summer institute for symbolic logic (pp.\u00a0231\u2013242). Princeton: Institute for Defense Analyses."},{"key":"1458_CR44","first-page":"173","volume":"18","author":"AM Sette","year":"1973","unstructured":"Sette, A. M. (1973). On the propositional calculus P1. Mathematica Japonicae, 18, 173\u2013180.","journal-title":"Mathematica Japonicae"},{"key":"1458_CR45","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00370180","volume":"50","author":"T Skura","year":"1991","unstructured":"Skura, T. (1991). On decision procedures for sentential logics. Studia Logica, 50, 173\u2013179.","journal-title":"Studia Logica"},{"key":"1458_CR46","volume-title":"Aspects of refutation procedures in the intuitionistic logic and related systems","author":"T Skura","year":"1999","unstructured":"Skura, T. (1999). Aspects of refutation procedures in the intuitionistic logic and related systems. Wroc\u0142aw: Wydawnictwo Uniwersytetu Wroc\u0142awskiego."},{"key":"1458_CR47","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-94-007-0479-4_2","volume-title":"Handbook of philosophical logic","author":"T Skura","year":"2011","unstructured":"Skura, T. (2011). Refutation systems in propositional logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 16, pp. 115\u2013157). Dordrecht: Kluwer.","edition":"2"},{"key":"1458_CR48","volume-title":"Refutation methods in modal propositional logic","author":"T Skura","year":"2013","unstructured":"Skura, T. (2013). Refutation methods in modal propositional logic. Warsaw: Semper."},{"key":"1458_CR49","doi-asserted-by":"crossref","unstructured":"S\u0142upecki, J., Bryll, G., & Wybraniec-Skardowska, U. (1971). Theory of rejected propositions, I. Studia Logica, 29, 75\u2013119.","DOI":"10.1007\/BF02121863"},{"key":"1458_CR50","doi-asserted-by":"crossref","unstructured":"S\u0142upecki, J., Bryll, G., & Wybraniec-Skardowska, U. (1972). Theory of rejected propositions, II. Studia Logica, 30, 97\u2013145.","DOI":"10.1007\/BF02120839"},{"key":"1458_CR51","first-page":"169","volume":"146","author":"A Tamminga","year":"1994","unstructured":"Tamminga, A. (1994). Logics of rejection: Two systems of natural deduction. Logique et Analyse, 146, 169\u2013208.","journal-title":"Logique et Analyse"},{"key":"1458_CR52","unstructured":"Tarski, A. (1928). Remarques sur les notions fondamentales de la m\u00e9thodologie des math\u00e9matiques. Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique, 7, 270\u2013273. (Eng. trans. by Purdy, R., & Zygmunt, J. (2012). Remarks on the fundamental concepts of the methodology of mathematics. In J.-Y. B\u00e9ziau (Ed.), Universal logic: An anthology (pp.\u00a067\u201368). Basel: Birkh\u00e4user)."},{"key":"1458_CR53","unstructured":"Tarski, A. (1936). O pojciu wynikania logiznego. Przegl\u0105d Filozoficzny, 39, 58\u201368. (Eng.\u00a0trans.\u00a0by Woodger, J.\u00a0H. (1956). On the concept of logical consequence. In Tarski\u2019s Logic, semantics, metamathematics.\u00a0Papers from 1923 to 1938 (pp.\u00a0409\u2013420). Oxford: Clarendon Press)."},{"key":"1458_CR54","unstructured":"Tiomkin, M.\u00a0L. (1988). Proving unprovability. In Proceedings of the third annual symposium on logic in computer science (LICS \u201988) (pp.\u00a022\u201326). Edinburgh: IEEE Computer Society Press."},{"key":"1458_CR55","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1016\/j.jal.2013.05.001","volume":"11","author":"ML Tiomkin","year":"2013","unstructured":"Tiomkin, M. L. (2013). A sequent calculus for a logic of contingencies. Journal of Applied Logic, 11, 530\u2013535.","journal-title":"Journal of Applied Logic"},{"key":"1458_CR56","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/BF00838045","volume":"39","author":"I Urbas","year":"1990","unstructured":"Urbas, I. (1990). Paraconsistency. Studies in Soviet Thought, 39, 434\u2013454.","journal-title":"Studies in Soviet Thought"},{"key":"1458_CR57","first-page":"112","volume":"19","author":"AC Varzi","year":"1990","unstructured":"Varzi, A. C. (1990). Complementary sentential logics. Bulletin of the Section of Logic, 19, 112\u2013116.","journal-title":"Bulletin of the Section of Logic"},{"key":"1458_CR58","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1515\/krt-1992-010406","volume":"4","author":"AC Varzi","year":"1992","unstructured":"Varzi, A. C. (1992). Complementary logics for classical propositional languages. Kriterion, 4, 20\u201324.","journal-title":"Kriterion"},{"key":"1458_CR59","first-page":"367","volume-title":"Advances in modal logic","author":"H Wansing","year":"2005","unstructured":"Wansing, H. (2005). Connexive modal logic. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & H. Wansing (Eds.), Advances in modal logic (Vol. 5, pp. 367\u2013383). London: King\u2019s College Publications."},{"key":"1458_CR60","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s11787-011-0030-9","volume":"5","author":"U Wybraniec-Skardowska","year":"2011","unstructured":"Wybraniec-Skardowska, U., & Waldmajer, J. (2011). On pairs of dual consequence operations. Logica Universalis, 5, 177\u2013203.","journal-title":"Logica Universalis"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1458-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1458-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1458-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T18:26:42Z","timestamp":1750357602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1458-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,16]]},"references-count":60,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["1458"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1458-0","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,16]]}}}