{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:09:16Z","timestamp":1753888156835,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030294359"},{"type":"electronic","value":"9783030294366"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29436-6_31","type":"book-chapter","created":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T16:04:02Z","timestamp":1566317042000},"page":"526-537","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["JGXYZ: An ATP System for Gap and Glut Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9120-3927","authenticated-orcid":false,"given":"Geoff","family":"Sutcliffe","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3399-2718","authenticated-orcid":false,"given":"Francis Jeffry","family":"Pelletier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,20]]},"reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"publisher","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. J. Symb. Log. 56(1), 276\u2013294 (1991)","journal-title":"J. Symb. Log."},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-61511-3_84","volume-title":"Automated Deduction \u2014 Cade-13","author":"M Baaz","year":"1996","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G., Zach, R.: MUltlog 1.0: towards an expert system for many-valued logics. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, pp. 226\u2013230. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61511-3_84"},{"key":"31_CR3","doi-asserted-by":"publisher","unstructured":"Beckert, B., H\u00e4hnle, R., Oel, P., Sulzmann, M.: The tableau-based theorem prover version 4.0. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, pp. 303\u2013307. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61511-3_95","DOI":"10.1007\/3-540-61511-3_95"},{"key":"31_CR4","series-title":"Episteme","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D.: A Useful Four-Valued Logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. EPIS, vol. 2, pp. 5\u201337. Springer, Dordrecht (1977). https:\/\/doi.org\/10.1007\/978-94-010-1161-7_2"},{"key":"31_CR5","unstructured":"Belnap, N.: A useful four-valued logic: how a computer should think. In: Anderson, A., Belnap, N., Dunn, J. (eds.) Entailment: The Logic of Relevance and Necessity, vol. 2, pp. 506\u2013541. Princeton University Press (1992)"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J Dunn","year":"1976","unstructured":"Dunn, J.: Intuitive semantics for first degree entailment and coupled trees. Philos. Stud. 29, 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"key":"31_CR7","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1093\/analys\/38.4.208","volume":"38","author":"G Evans","year":"1978","unstructured":"Evans, G.: Can there be vague objects? Analysis 38, 208 (1978)","journal-title":"Analysis"},{"key":"31_CR8","series-title":"Handbook of Philosophical Logic","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-017-0452-6_5","volume-title":"Handbook of Philosophical Logic","author":"R H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle, R.: Advanced Many-Valued Logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. HALO, vol. 2, pp. 297\u2013395. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-017-0452-6_5"},{"key":"31_CR9","volume-title":"New Essays on Belnap-Dunn Logic","author":"A Hazen","year":"1980","unstructured":"Hazen, A., Pelletier, F.: K3, \u01413, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You. In: Omori, H., Wansing, H. (eds.) New Essays on Belnap-Dunn Logic. Springer, Berlin (1980). To appear. Synthese Library"},{"key":"31_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-39799-8_1","volume-title":"Computer Aided Verification","author":"L Kov\u00e1cs","year":"2013","unstructured":"Kov\u00e1cs, L., Voronkov, A.: First-order theorem proving and Vampire. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 1\u201335. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_1"},{"key":"31_CR11","doi-asserted-by":"publisher","DOI":"10.1515\/9780822390152","volume-title":"Undead TV","author":"E Levine","year":"2007","unstructured":"Levine, E., Parks, L.: Undead TV. Duke University Press, Durham (2007)"},{"key":"31_CR12","first-page":"170","volume":"5","author":"J \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: On three-valued logic. Ruch Filozoficny 5, 170\u2013171 (1920)","journal-title":"Ruch Filozoficny"},{"issue":"6","key":"31_CR13","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1007\/s11225-017-9748-6","volume":"105","author":"H Omori","year":"2017","unstructured":"Omori, H., Wansing, H.: 40 years of FDE: an introductory overview. Stud. Log. 105(6), 1021\u20131049 (2017)","journal-title":"Stud. Log."},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2026760","volume":"86","author":"F Pelletier","year":"1989","unstructured":"Pelletier, F.: Another argument against vague identity. J. Philos. 86, 481\u2013492 (1989)","journal-title":"J. Philos."},{"key":"31_CR15","unstructured":"Pelletier, F., Sutcliffe, G., Hazen, A.: Automated reasoning for the dialetheic logic RM3. In: Rus, V., Markov, Z. (eds.) Proceedings of the 30th International FLAIRS Conference, pp. 110\u2013115 (2017)"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philos. Log. 8, 219\u2013241 (1979)","journal-title":"J. Philos. Log."},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Priest, G., Routley, R., Norman, J.: Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag (1989)","DOI":"10.2307\/j.ctv2x8v8c7"},{"key":"31_CR18","unstructured":"Shapiro, S., Kouri Kissel, T.: Classical logic. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2018). https:\/\/plato.stanford.edu\/archives\/spr2018\/entries\/logic-classical\/"},{"key":"31_CR19","first-page":"23","volume":"1","author":"B Soboci\u0144ski","year":"1952","unstructured":"Soboci\u0144ski, B.: Axiomatization of a partial system of three-valued calculus of propositions\u2019. J. Comput. Syst. 1, 23\u201355 (1952)","journal-title":"J. Comput. Syst."},{"key":"31_CR20","unstructured":"Sutcliffe, G., Pelletier, F., Hazen, A.: Making Belnap\u2019s \u201cuseful four-valued logic\u201d useful. In: Brawner, K., Rus, V. (eds.) Proceedings of the 31st International FLAIRS Conference, pp. 116\u2013121 (2018)"},{"key":"31_CR21","unstructured":"Wikipedia contributors: logic - Wikipedia, the free encyclopedia (2018). https:\/\/en.wikipedia.org\/w\/index.php?title=Logic&oldid=875884116"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE 27"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29436-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,19]],"date-time":"2023-09-19T08:19:17Z","timestamp":1695111557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-29436-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030294359","9783030294366"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29436-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"20 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CADE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Automated Deduction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Natal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cade2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.mat.ufrn.br\/CADE-27\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}