{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:05:33Z","timestamp":1730275533301,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.1991.130735","type":"proceedings-article","created":{"date-parts":[[2002,12,10]],"date-time":"2002-12-10T14:53:10Z","timestamp":1039531990000},"page":"230-237","source":"Crossref","is-referenced-by-count":3,"title":["Improving tableau deductions in multiple-valued logics"],"prefix":"10.1109","author":[{"given":"N.V.","family":"Murray","sequence":"first","affiliation":[]},{"given":"E.","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"161","article-title":"Path dissolution: a strongly complete rule of inference","author":"murray","year":"1987","journal-title":"Proc Nat Conf Artif Intell"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74584"},{"journal-title":"On the relative merits of path dissolution and the method of analytic tableaux","year":"1990","author":"murray","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_132"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244513"},{"key":"ref15","article-title":"The semantics of non-monotonic entailment defined using partial interpretations","author":"sandewall","year":"1988","journal-title":"Non-Monotonic Reasoning 2nd International Workshop"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_112"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7"},{"key":"ref18","article-title":"Generating connection calculi from tableaux and sequent based proof systems","author":"wallen","year":"1985","journal-title":"Proceedings of AISB-85"},{"key":"ref2a","article-title":"Preliminary report: NM3 - A three-valued non-monotonic formalism","author":"doherty","year":"1990","journal-title":"Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems"},{"key":"ref2b","first-page":"498","volume":"5","year":"1990","journal-title":"In Methodologies for Intelligent Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093887933"},{"key":"ref3","article-title":"The use of assertion-time inference in logic-based knowledge bases","author":"elfrink","year":"1988","journal-title":"Proceedings of ECAI-88"},{"key":"ref6","first-page":"132","article-title":"Investigations in Logical Deduction","author":"gentzen","year":"1969","journal-title":"Szabo"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244394"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244510"},{"key":"ref7","article-title":"Form and content in quantification theory","volume":"8","author":"hintikka","year":"1955","journal-title":"Acta Philosophica Fennica"},{"journal-title":"Mathematical foundations","year":"1965","author":"beth","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/23005.23716"}],"event":{"name":"Twenty-First International Symposium on Multiple-Valued Logic","location":"Victoria, BC, Canada"},"container-title":["[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/338\/3627\/00130735.pdf?arnumber=130735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T06:16:28Z","timestamp":1489040188000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/130735\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ismvl.1991.130735","relation":{},"subject":[]}}