{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:40:43Z","timestamp":1780080043883,"version":"3.54.0"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T00:00:00Z","timestamp":1491782400000},"content-version":"unspecified","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":["Stud Logica"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11225-017-9721-4","type":"journal-article","created":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T02:53:00Z","timestamp":1491792780000},"page":"1087-1122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Four-Valued Paradefinite Logics"],"prefix":"10.1007","volume":"105","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,4,10]]},"reference":[{"key":"9721_CR1","unstructured":"Anderson, A., and N. Belnap, Entailment, vol. 1. Princeton University Press, Princeton, 1975."},{"key":"9721_CR2","doi-asserted-by":"publisher","unstructured":"Arieli, O., Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae, ACM Transactions on Computational Logic 8(3), 2017. doi: 10.1145\/1243996.1244001 .","DOI":"10.1145\/1243996.1244001"},{"key":"9721_CR3","doi-asserted-by":"crossref","unstructured":"Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language, and Information 5(1):25\u201363, 1996.","DOI":"10.1007\/BF00215626"},{"key":"9721_CR4","doi-asserted-by":"crossref","unstructured":"Arieli, O., and A. Avron, The value of the four values, Artificial Intelligence 102(1):97\u2013141, 1998.","DOI":"10.1016\/S0004-3702(98)00032-0"},{"key":"9721_CR5","unstructured":"Arieli, O., and A. Avron, Bilattices and paraconsistency, in D. Batens, C. Mortensen, G.\u00a0Priest and J. Van Bendegem (eds.), Frontiers of Paraconsistent Logic, vol. 8 of Studies in Logic and Computation, Research Studies Press, London, 2000, pp. 11\u201327."},{"key":"9721_CR6","doi-asserted-by":"crossref","unstructured":"Arieli, O., and A. Avron, Three-valued paraconsistent propositional logics, in J. Y. B\u00e9ziau, M. Chakraborty and S. Dutta (eds.), New Directions in Paraconsistent Logic, Springer, Berlin, 2015, pp. 91\u2013129.","DOI":"10.1007\/978-81-322-2719-9_4"},{"key":"9721_CR7","unstructured":"Arieli, O., and A. Avron, Minimal paradefinite logics for reasoning with incompleteness and inconsistency, in Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD), vol. 52 of Leibniz International Proceedings in Informatics, 2016, pp. 7:1\u20137:15."},{"key":"9721_CR8","doi-asserted-by":"crossref","unstructured":"Arieli, O., A. Avron, and A. Zamansky, Ideal paraconsistent logics, Studia Logica 99(1\u20133):31\u201360, 2011.","DOI":"10.1007\/s11225-011-9346-y"},{"key":"9721_CR9","doi-asserted-by":"crossref","unstructured":"Arieli, O., A. Avron, and A. Zamansky, Maximal and premaximal paraconsistency in the framework of three-valued semantics, Studia Logica 97(1):31\u201360, 2011.","DOI":"10.1007\/s11225-010-9296-9"},{"key":"9721_CR10","doi-asserted-by":"crossref","unstructured":"Arieli, O., and M. Denecker, Reducing preferential paraconsistent reasoning to classical entailment, Journal of Logic and Computation 13(4):557\u2013580, 2003.","DOI":"10.1093\/logcom\/13.4.557"},{"key":"9721_CR11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F. G., A calculus of antinomies, Notre Dame Journal of Formal Logic 7:103\u2013106, 1966.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9721_CR12","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A Avron","year":"1991","unstructured":"Avron, A., Natural 3-valued logics: characterization and proof theory, Journal of Symbolic Logic 56(1):276\u2013294, 1991.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"9721_CR13","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A Avron","year":"1999","unstructured":"Avron, A., On the expressive power of three-valued and four-valued languages, Journal of Logic and Computation 9(6):977\u2013994, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"9721_CR14","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1080\/11663081.2014.911515","volume":"24","author":"A Avron","year":"2014","unstructured":"Avron, A., Paraconsistency, paracompleteness, gentzen systems, and trivalent semantics, Journal of Applied Non-Classical Logic 24:12\u201334, 2014.","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"9721_CR15","doi-asserted-by":"crossref","unstructured":"Avron, A., J. Ben-Naim, and B. Konikowska, Processing information from a set of sources, in D. Makinson, J. Malinowski and H. Wansing (eds.), Towards Mathematical Philosophy, Trends in Logic, vol. 10, Springer, 2009, pp. 165\u2013186.","DOI":"10.1007\/978-1-4020-9084-4_8"},{"key":"9721_CR16","doi-asserted-by":"crossref","unstructured":"Avron, A., and B. Konikowska, Multi-valued calculi for logics based on non-determinism, Logic Journal of the IGPL 13(4):365\u2013387, 2005.","DOI":"10.1093\/jigpal\/jzi030"},{"key":"9721_CR17","doi-asserted-by":"crossref","unstructured":"Avron, A., and B. Konikowska, Finite-valued logics for information processing, Fundamenta Informaticae 114:1\u201330, 2012.","DOI":"10.3233\/FI-2011-615"},{"key":"9721_CR18","doi-asserted-by":"crossref","unstructured":"Avron, A., B. Konikowska, and A. Zamansky, Cut-free sequent calculi for C-systems with generalized finite-valued semantics, Journal of Logic and Computation 23:517\u2013540, 2013.","DOI":"10.1093\/logcom\/exs039"},{"key":"9721_CR19","doi-asserted-by":"crossref","unstructured":"Avron, A., and I. Lev, Non-deterministic multi-valued structures, Journal of Logic and Computation 15:241\u2013261, 2005.","DOI":"10.1093\/logcom\/exi001"},{"key":"9721_CR20","doi-asserted-by":"crossref","unstructured":"Avron, A., and A. Zamansky, Non-deterministic semantics for logical systems\u2014a survey, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, vol. 16, Springer, Berlin, 2011, pp. 227\u2013304.","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"9721_CR21","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N Belnap","year":"1977","unstructured":"Belnap, N., How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1977, pp. 30\u201356."},{"key":"9721_CR22","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logics","author":"N Belnap","year":"1977","unstructured":"Belnap, N., A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logics, Reidel Publishing Company, Dordrecht, 1977, pp. 7\u201337."},{"key":"9721_CR23","first-page":"391","volume-title":"The Many Sides of Logic","author":"JY B\u00e9ziau","year":"2009","unstructured":"B\u00e9ziau, J. Y., Bivalent semantics for De Morgan logic (The uselessness of four-valuedness), in W. A. Carnielli, M. E. Coniglio and I. M. L. D\u2019Ottaviano (eds.), The Many Sides of Logic, College Publication, London, 2009, pp. 391\u2013402."},{"key":"9721_CR24","doi-asserted-by":"crossref","unstructured":"Bimbo, K., and M. Dunn, Four-valued logic, Notre Dame Journal of Formal Logic 42(3):171\u2013192, 2001.","DOI":"10.1305\/ndjfl\/1063372199"},{"key":"9721_CR25","doi-asserted-by":"crossref","unstructured":"Bou, F., and U. Rivieccio, The logic of distributive bilattices. Logic Journal of the IGPL 19(1):183\u2013216, 2010.","DOI":"10.1093\/jigpal\/jzq041"},{"key":"9721_CR26","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N Costa da","year":"1974","unstructured":"da\u00a0Costa, N., On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic 15:497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9721_CR27","doi-asserted-by":"crossref","unstructured":"De, M., and H. Omori, Classical negation and expansions of Belnap-Dunn logic, Studia Logica 103(4):825\u2013851, 2015.","DOI":"10.1007\/s11225-014-9595-7"},{"key":"9721_CR28","unstructured":"Doherty, P., D. Driankov, and A. Tsouki\u00e0s, Partiality, para-consistency and preference modelling, 1992. IDA Research report Lith-IDA-R-92-18, Link\u00f6ping University."},{"key":"9721_CR29","unstructured":"D\u2019Ottaviano, I., The completeness and compactness of a three-valued first-order logic, Revista Colombiana de Matematicas XIX(1-2):31\u201342, 1985."},{"key":"9721_CR30","unstructured":"Dunn, J. M., The Algebra of Intensional Logics. Ph.D. thesis, University of Pittsburgh, Ann Arbor (UMI), 1966."},{"key":"9721_CR31","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J. M., Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019, Philosophical Studies 29:149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9721_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0525-2","volume-title":"The Semantic Foundation of Logic. Vol. I: Propositional Logics","author":"RL Epstein","year":"1990","unstructured":"Epstein, R. L., The Semantic Foundation of Logic. Vol. I: Propositional Logics. Kluwer, Dordrecht, 1990."},{"issue":"2","key":"9721_CR33","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M., Bilattices and the semantics of logic programming, Journal of Logic Programming 11(2):91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"9721_CR34","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M Fitting","year":"1993","unstructured":"Fitting, M., The family of stable models, Journal of Logic Programming 17:197\u2013225, 1993.","journal-title":"Journal of Logic Programming"},{"key":"9721_CR35","doi-asserted-by":"crossref","unstructured":"Fitting, M., Fixpoint semantics for logic programming a survey, Theoretical Computer Science 278(1-2):25\u201351, 2002.","DOI":"10.1016\/S0304-3975(00)00330-3"},{"key":"9721_CR36","first-page":"53","volume-title":"Self Reference, vol. 178 of CSLI Lecture Notes","author":"M Fitting","year":"2006","unstructured":"Fitting, M., Bilattices are nice things, in T. Bolander, V. Hendricks and S. A. Pedersen (eds.), Self Reference, vol. 178 of CSLI Lecture Notes, CLSI Publications, Stanford, 2006, pp. 53\u201377."},{"key":"9721_CR37","doi-asserted-by":"crossref","unstructured":"Font, J. M., and P. H\u00e1jek, On \u0141ukasiewicz\u2019s four-valued modal logic, Studia Logica 70(2):157\u2013182, 2002.","DOI":"10.1023\/A:1015111314455"},{"key":"9721_CR38","doi-asserted-by":"crossref","unstructured":"Gabbay, D., and H. Wansing, (eds.), What is Negation?, vol. 13 of Applied Logic Series, Springer, Berlin, 1999.","DOI":"10.1007\/978-94-015-9309-0"},{"key":"9721_CR39","doi-asserted-by":"crossref","unstructured":"Gargov, G., Knowledge, uncertainty and ignorance in logic: bilattices and beyond, Journal of Applied Non-Classical Logics 9(2-3):195\u2013283, 1999.","DOI":"10.1080\/11663081.1999.10510967"},{"key":"9721_CR40","unstructured":"Gentzen, G., Investigations into logical deduction, 1934, in M. E. Szabo (ed.), German. An English translation appears in \u2018The Collected Works of Gerhard Gentzen\u2019, Noth Holland Publishing Company, 1969."},{"key":"9721_CR41","first-page":"251","volume-title":"Readings in Non-Monotonic Reasoning","author":"M Ginsberg","year":"1988","unstructured":"Ginsberg, M., Multi-valued logics, in Ginsberg, M. L. (ed.), Readings in Non-Monotonic Reasoning, Morgan Kaufmann, Los Altos, 1988, pp. 251\u2013258."},{"key":"9721_CR42","first-page":"256","volume":"4","author":"M Ginsberg","year":"1988","unstructured":"Ginsberg, M., Multi-valued logics: a uniform approach to reasoning in AI, Computer Intelligence 4:256\u2013316, 1988.","journal-title":"Computer Intelligence"},{"key":"9721_CR43","unstructured":"Gottwald, S., A treatise on many-valued logics, in S. Gottwald (ed.), Studies in Logic and Computation, vol.\u00a09. Research Studies Press, Baldock, 2001."},{"key":"9721_CR44","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-Valued Logics","author":"G Malinowski","year":"1993","unstructured":"Malinowski, G., Many-Valued Logics, Clarendon Press, NY, 1993."},{"issue":"1","key":"9721_CR45","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.jal.2004.07.017","volume":"3","author":"J Marcos","year":"2005","unstructured":"Marcos, J., On negation: Pure local rules, Journal of Applied Logic 3(1):185\u2013219, 2005.","journal-title":"Journal of Applied Logic"},{"key":"9721_CR46","doi-asserted-by":"crossref","unstructured":"Odintsov, S. P., and H. Wansing, The logic of generalized truth values and the logic of bilattices, Studia Logica 103(1):91\u2013112, 2015.","DOI":"10.1007\/s11225-014-9546-3"},{"key":"9721_CR47","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G Priest","year":"1989","unstructured":"Priest, G., Reasoning about truth, Artificial Intelligence 39:231\u2013244, 1989.","journal-title":"Artificial Intelligence"},{"key":"9721_CR48","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G Priest","year":"1991","unstructured":"Priest, G., Minimally inconsistent LP, Studia Logica 50:321\u2013331, 1991.","journal-title":"Studia Logica"},{"key":"9721_CR49","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01048529","volume":"24","author":"G Restall","year":"1995","unstructured":"Restall, G., Four-valued semantics for relevant logics (and some of their rivals), Journal of Philosophical Logic 24:139\u2013160, 1995.","journal-title":"Journal of Philosophical Logic"},{"key":"9721_CR50","doi-asserted-by":"crossref","unstructured":"Shoesmith, D. J., and T. J. Smiley, Deducibility and many-valuedness, Journal of Symbolic Logic 36:610\u2013622, 1971.","DOI":"10.2307\/2272465"},{"key":"9721_CR51","doi-asserted-by":"crossref","unstructured":"Shoesmith, D. J., and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, NY, 1978.","DOI":"10.1017\/CBO9780511565687"},{"key":"9721_CR52","volume-title":"Proof Theory","author":"G Takeuti","year":"2013","unstructured":"Takeuti, G., Proof Theory, Dover, NY, 2013."},{"key":"9721_CR53","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, NY, 2000.","DOI":"10.1017\/CBO9781139168717"},{"key":"9721_CR54","first-page":"77","volume":"27","author":"A Tsouki\u00e0s","year":"2002","unstructured":"Tsouki\u00e0s, A., A first-order, four valued, weakly paraconsistent logic and its relation to rough sets semantics, Foundations of Computing and Decision Sciences 27:77\u201396, 2002.","journal-title":"Foundations of Computing and Decision Sciences"},{"key":"9721_CR55","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","volume-title":"Handbook of Philosophical Logic","author":"A Urquhart","year":"2001","unstructured":"Urquhart, A., Many-valued logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Second edition, Kluwer, Dordrecht, 2001, pp. 249\u2013295.","edition":"2"},{"key":"9721_CR56","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00453021","volume":"13","author":"A Visser","year":"1984","unstructured":"Visser, A., Four-valued semantics and the liar, Journal of Philosophical Logic 13:181\u2013212, 1984.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9721-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9721-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9721-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T13:59:43Z","timestamp":1719151183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9721-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,10]]},"references-count":56,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9721"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9721-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,10]]}}}