{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:12Z","timestamp":1740107832018,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2018,6,6]],"date-time":"2018-06-06T00:00:00Z","timestamp":1528243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["817\/15"],"award-info":[{"award-number":["817\/15"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s00500-018-3272-0","type":"journal-article","created":{"date-parts":[[2018,6,6]],"date-time":"2018-06-06T07:02:08Z","timestamp":1528268528000},"page":"2167-2175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Paraconsistency and the need for infinite semantics"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6831-3343","authenticated-orcid":false,"given":"Arnon","family":"Avron","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,6,6]]},"reference":[{"key":"3272_CR1","volume-title":"Entailment: the logic of relevance and necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson AR, Belnap ND (1975) Entailment: the logic of relevance and necessity, vol I. Princeton University Press, Princeton"},{"key":"3272_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-81-322-2719-9_4","volume-title":"New directions in paraconsistent logic","author":"O Arieli","year":"2015","unstructured":"Arieli O, Avron A (2015) Three-valued paraconsistent propositional logics. In: B\u00e9ziau J-Y, Chakraborty M, Dutta S (eds) New directions in paraconsistent logic. Springer, Berlin, pp 91\u2013129"},{"issue":"6","key":"3272_CR3","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1007\/s11225-017-9721-4","volume":"105","author":"O Arieli","year":"2017","unstructured":"Arieli O, Avron A (2017) Four-valued paradefinite logics. Stud Log 105(6):1087\u20131122","journal-title":"Stud Log"},{"key":"3272_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo FG (1966) A calculus of antinomies. Notre Dame J Form Log 7:103\u2013106","journal-title":"Notre Dame J Form Log"},{"key":"3272_CR5","doi-asserted-by":"publisher","first-page":"334","DOI":"10.2307\/2274169","volume":"49","author":"A Avron","year":"1984","unstructured":"Avron A (1984) Relevant entailment\u2014semantics and formal systems. J Symb Log 49:334\u2013342","journal-title":"J Symb Log"},{"key":"3272_CR6","doi-asserted-by":"publisher","first-page":"707","DOI":"10.2307\/2274660","volume":"55","author":"A Avron","year":"1990","unstructured":"Avron A (1990) Relevance and paraconsistency: a new approach. J Symb Log 55:707\u2013732","journal-title":"J Symb Log"},{"key":"3272_CR7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1305\/ndjfl\/1093635414","volume":"31","author":"A Avron","year":"1990","unstructured":"Avron A (1990) Relevance and paraconsistency: a new approach. Part II. Notre Dame J Form Log 31:169\u2013202","journal-title":"Notre Dame J Form Log"},{"key":"3272_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","volume":"80","author":"A Avron","year":"2005","unstructured":"Avron A (2005) A nondeterministic view on nonclassical negations. Stud Log 80:159\u2013194","journal-title":"Stud Log"},{"key":"3272_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.ijar.2006.06.011","volume":"45","author":"A Avron","year":"2007","unstructured":"Avron A (2007) Non-deterministic semantics for logics with a consistency operator. J Approx Reason 45:271\u2013287","journal-title":"J Approx Reason"},{"key":"3272_CR10","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.apal.2013.07.004","volume":"165","author":"A Avron","year":"2014","unstructured":"Avron A (2014) What is relevance logic? Ann Pure Appl Log 165:26\u201348","journal-title":"Ann Pure Appl Log"},{"key":"3272_CR11","series-title":"Outstanding contributions to logic","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-29300-4_2","volume-title":"J Michael Dunn on information based logics","author":"A Avron","year":"2016","unstructured":"Avron A (2016) RM and its nice properties. In: Bimb\u00f3 K (ed) J Michael Dunn on information based logics, vol 8. Outstanding contributions to logic. Springer, Berlin, pp 15\u201343"},{"key":"3272_CR12","first-page":"183","volume":"25","author":"A Avron","year":"2017","unstructured":"Avron A, B\u00e9ziau J-Y (2017) Self-extensional three-valued paraconsistent logics have no implication. Log J IGPL 25:183\u2013194","journal-title":"Log J IGPL"},{"issue":"3","key":"3272_CR13","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/exs039","volume":"23","author":"A Avron","year":"2013","unstructured":"Avron A, Konikowska B, Zamansky A (2013) Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J Log Comput 23(3):517\u2013540","journal-title":"J Log Comput"},{"key":"3272_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/j.ins.2014.11.003","volume":"296","author":"A Avron","year":"2015","unstructured":"Avron A, Konikowska B, Zamansky A (2015) Efficient reasoning with inconsistent information using C-systems. Inf Sci 296:219\u2013236","journal-title":"Inf Sci"},{"key":"3272_CR15","doi-asserted-by":"crossref","unstructured":"Avron A, Lev I (2001) Canonical propositional Gentzen-type systems. In: Proceedings of the 1st international joint conference on automated reasoning, volume 2083 of LNAI. Springer, Berlin, p 529\u2013544","DOI":"10.1007\/3-540-45744-5_45"},{"key":"3272_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron A, Lev I (2005) Non-deterministic multi-valued structures. J Log Comput 15:241\u2013261","journal-title":"J Log Comput"},{"key":"3272_CR17","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of philosophical logic","author":"A Avron","year":"2011","unstructured":"Avron A, Zamansky A (2011) Non-deterministic semantics for logical systems\u2014a survey. In: Gabbay D, Guenther F (eds) Handbook of philosophical logic, vol 16. Springer, Berlin, pp 227\u2013304"},{"key":"3272_CR18","first-page":"195","volume":"90\u201391","author":"D Batens","year":"1980","unstructured":"Batens D (1980) Paraconsistent extensional propositional logics. Logique et Analyse 90\u201391:195\u2013234","journal-title":"Logique et Analyse"},{"key":"3272_CR19","first-page":"445","volume-title":"Logic at work","author":"D Batens","year":"1998","unstructured":"Batens D (1998) Inconsistency-adaptive logics. In: Orlowska E (ed) Logic at work. Physica Verlag, Heidelberg, pp 445\u2013472"},{"key":"3272_CR20","series-title":"Studies in logic and computation","first-page":"69","volume-title":"Frontiers of paraconsistent logic","author":"D Batens","year":"2000","unstructured":"Batens D (2000) A survey on inconsistency-adaptive logics. In: Batens D, Mortensen C, Priest G, Van Bendegem J (eds) Frontiers of paraconsistent logic, vol 8. Studies in logic and computation. Research Studies Press, Baldock, pp 69\u201373"},{"key":"3272_CR21","first-page":"29","volume":"33","author":"D Batens","year":"1999","unstructured":"Batens D, de Clercq K, Kurtonina N (1999) Embedding and interpolation for some paralogics. The propositional case. Rep Math Log 33:29\u201344","journal-title":"Rep Math Log"},{"key":"3272_CR22","first-page":"30","volume-title":"Contemporary aspects of philosophy","author":"ND Belnap","year":"1977","unstructured":"Belnap ND (1977) How a computer should think. In: Ryle G (ed) Contemporary aspects of philosophy. Oriel Press, Charleville, pp 30\u201356"},{"key":"3272_CR23","first-page":"7","volume-title":"Modern uses of multiple-valued logics","author":"ND Belnap","year":"1977","unstructured":"Belnap ND (1977) A useful four-valued logic. In: Dunn JM, Epstein G (eds) Modern uses of multiple-valued logics. Reidel Publishing Company, Dordrecht, pp 7\u201337"},{"key":"3272_CR24","doi-asserted-by":"crossref","unstructured":"Carnielli WA, Coniglio ME (2016) Paraconsistent logic: consistency, contradiction and negation, vol 40. Logic, epistemology, and the unity of science, Springer, Berlin","DOI":"10.1007\/978-3-319-33205-5"},{"key":"3272_CR25","first-page":"1","volume-title":"Handbook of philosophical logic","author":"WA Carnielli","year":"2007","unstructured":"Carnielli WA, Coniglio ME, Marcos J (2007) Logics of formal inconsistency. In: Gabbay DM, Guenthner F (eds) Handbook of philosophical logic, vol 14, 2nd edn. Springer, Berlin, pp 1\u201395","edition":"2"},{"key":"3272_CR26","series-title":"Lecture notes in pure and applied mathematics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1201\/9780203910139","volume-title":"Paraconsistency: the logical way to the inconsistent","author":"WA Carnielli","year":"2002","unstructured":"Carnielli WA, Marcos J (2002) A taxonomy of C-systems. In: Carnielli WA, Coniglio ME, D\u2019Ottaviano I (eds) Paraconsistency: the logical way to the inconsistent, vol 228. Lecture notes in pure and applied mathematics. Marcel Dekker, New York, pp 1\u201394"},{"key":"3272_CR27","unstructured":"Crawford J, Etherington D (1998) A non-deterministic semantics for tractable inference. In: Proceedings of the 15th national conference on artificial intelligence and the 10th conference on innovative applications of artificial intelligence, p 286\u2013291"},{"key":"3272_CR28","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa NCA (1974) On the theory of inconsistent formal systems. Notre Dame J Form Log 15:497\u2013510","journal-title":"Notre Dame J Form Log"},{"key":"3272_CR29","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1093\/jigpal\/3.4.597","volume":"3","author":"NCA Costa da","year":"1995","unstructured":"da Costa NCA, B\u00e9ziau J-Y, Bueno OAS (1995) Aspects of paraconsistent logic. Bull IGPL 3:597\u2013614","journal-title":"Bull IGPL"},{"issue":"1\u20132","key":"3272_CR30","first-page":"31","volume":"XIX","author":"I D\u2019Ottaviano","year":"1985","unstructured":"D\u2019Ottaviano I (1985) The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matematicas XIX(1\u20132):31\u201342","journal-title":"Revista Colombiana de Matematicas"},{"issue":"1\u20132","key":"3272_CR31","first-page":"89","volume":"7","author":"I D\u2019Ottaviano","year":"1990","unstructured":"D\u2019Ottaviano I (1990) On the development of paraconsistent logic and da Costa\u2019s work. J Non Class Log 7(1\u20132):89\u2013152","journal-title":"J Non Class Log"},{"key":"3272_CR32","unstructured":"Dunn J M (1966) The algebra of intensional logics. Ph.D. Thesis, University of Pittsburgh, Ann Arbor (UMI)"},{"key":"3272_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2271149","volume":"35","author":"JM Dunn","year":"1970","unstructured":"Dunn JM (1970) Algebraic completeness results for R-mingle and its extensions. J Symb Log 35:1\u201313","journal-title":"J Symb Log"},{"key":"3272_CR34","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn JM (1976) Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philos Stud 29:149\u2013168","journal-title":"Philos Stud"},{"key":"3272_CR35","first-page":"1","volume-title":"Handbook of philosophical logic","author":"JM Dunn","year":"2002","unstructured":"Dunn JM, Restall G (2002) Relevance logic. In: Gabbay D, Guenther F (eds) Handbook of philosophical logic, vol 6, 2nd edn. Kluwer, Alphen aan den Rijn, pp 1\u2013136","edition":"2"},{"key":"3272_CR36","volume-title":"The semantic foundation of logic. Vol.I: propositional logics","author":"RL Epstein","year":"2012","unstructured":"Epstein RL (2012) The semantic foundation of logic. Vol.I: propositional logics, 3rd edn. Advanced Reasoning Forum, Lemitar","edition":"3"},{"key":"3272_CR37","volume-title":"Proof theory and logical complexity","author":"J-Y Girard","year":"1987","unstructured":"Girard J-Y (1987) Proof theory and logical complexity, vol 1. Humanities Press, London"},{"key":"3272_CR38","first-page":"91","volume":"2","author":"Y Ivlev","year":"2000","unstructured":"Ivlev Y (2000) Quasi-matrix logic as a paraconsistent logic for dubitable information. Log Logl Philos 2:91\u201397","journal-title":"Log Logl Philos"},{"key":"3272_CR39","doi-asserted-by":"publisher","first-page":"324","DOI":"10.2307\/2964568","volume":"24","author":"SA Kripke","year":"1959","unstructured":"Kripke SA (1959) The problem of entailment (abstract). J Symb Log 24:324","journal-title":"J Symb Log"},{"issue":"1","key":"3272_CR40","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.jal.2004.07.017","volume":"3","author":"J Marcos","year":"2005","unstructured":"Marcos J (2005) On negation: pure local rules. J Appl Log 3(1):185\u2013219","journal-title":"J Appl Log"},{"key":"3272_CR41","doi-asserted-by":"publisher","first-page":"682","DOI":"10.2307\/2269758","volume":"31","author":"B Pahi","year":"1966","unstructured":"Pahi B (1966) On the non-existence of finite characteristic matrices for some implicational calculi (abstract). J Symb Log 31:682\u2013683","journal-title":"J Symb Log"},{"key":"3272_CR42","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1305\/ndjfl\/1093894720","volume":"13","author":"R Parks","year":"1972","unstructured":"Parks R (1972) A note on R-mingle and Soboci\u0144ski three-valued logic. Notre Dame J Form Log 13:227\u2013228","journal-title":"Notre Dame J Form Log"},{"key":"3272_CR43","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. J Philos Log 8:219\u2013241","journal-title":"J Philos Log"},{"volume-title":"The roots of reference","year":"1974","key":"3272_CR44","unstructured":"Quine WVO (ed) (1974) The roots of reference. Open Court, Chicago"},{"issue":"04","key":"3272_CR45","doi-asserted-by":"publisher","first-page":"305","DOI":"10.2307\/2963525","volume":"25","author":"K Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte K (1960) Syntactical and semantical properties of simple type theory. J Symb Log 25(04):305\u2013326","journal-title":"J Symb Log"},{"key":"3272_CR46","first-page":"173","volume":"16","author":"AM Sette","year":"1973","unstructured":"Sette AM (1973) On propositional calculus \n                    \n                      \n                    \n                    $$P_1$$\n                    \n                      \n                        \n                          P\n                          1\n                        \n                      \n                    \n                  . Math Jpn 16:173\u2013180","journal-title":"Math Jpn"},{"issue":"6","key":"3272_CR47","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1090\/S0002-9904-1966-11611-7","volume":"72","author":"W Tait","year":"1966","unstructured":"Tait W (1966) A non constructive proof of Gentzen\u2019s Hauptsatz for second order predicate logic. Bull Am Math Soc 72(6):980\u2013983","journal-title":"Bull Am Math Soc"},{"key":"3272_CR48","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.2307\/2274261","volume":"49","author":"A Urquhart","year":"1984","unstructured":"Urquhart A (1984) The undecidability of entailment and relevant implication. J Symb Log 49:1059\u20131073","journal-title":"J Symb Log"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3272-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-018-3272-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3272-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T19:09:45Z","timestamp":1559761785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-018-3272-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,6]]},"references-count":48,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["3272"],"URL":"https:\/\/doi.org\/10.1007\/s00500-018-3272-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2018,6,6]]},"assertion":[{"value":"6 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The author declares that he has no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by the author.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}