{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:55:35Z","timestamp":1729673735440,"version":"3.28.0"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2001.924586","type":"proceedings-article","created":{"date-parts":[[2002,11,13]],"date-time":"2002-11-13T15:01:54Z","timestamp":1037199714000},"page":"287-296","source":"Crossref","is-referenced-by-count":2,"title":["Classical Gentzen-type methods in propositional many-valued logics"],"prefix":"10.1109","author":[{"given":"A.","family":"Avron","sequence":"first","affiliation":[]}],"member":"263","reference":[{"article-title":"Introduction to metamathematics","year":"1950","author":"kleene","key":"ref39"},{"article-title":"Systematic Software Development Using VDM","year":"1986","author":"jones","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"ref31","first-page":"251","article-title":"Multiple-valued logics","author":"ginsberg","year":"1987","journal-title":"Readings in Non-Monotonic Reasoning"},{"key":"ref30","first-page":"68","article-title":"Investigations into logical deduction","author":"gentzen","year":"1969","journal-title":"The Collected Works of Gerhard Gentzen"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","article-title":"Metamathematics of Fuzzy Logic","author":"h\u00e1jek","year":"1998"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1754-0_9"},{"key":"ref35","first-page":"222","article-title":"On the intuitionistic propositional calculus","volume":"i","author":"g\u00f6del","year":"1986","journal-title":"Collected Work of K Gödel"},{"key":"ref34","article-title":"Proof Theory and Logical Complexity","author":"girard","year":"1987","journal-title":"Bibliopolis"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","article-title":"Kleene's three-valued logics and their children","volume":"20","author":"fitting","year":"1994","journal-title":"Fundamenta lnformaticae"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4"},{"key":"ref2","volume":"ii","author":"anderson","year":"1992","journal-title":"Entailment"},{"key":"ref1","volume":"i","author":"anderson","year":"1975","journal-title":"Entailment"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2307\/2964753"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19710170126"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0525-2_11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.3.319"},{"key":"ref26","first-page":"797","article-title":"Kleene's logic, generalized","author":"fitting","year":"1990","journal-title":"Journal of Logic and Computation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1990.122627"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(82)90024-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2274919"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90023-U"},{"key":"ref40","article-title":"On 3-valued logic","author":"lukasiewicz","year":"1967","journal-title":"Polish Logic"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881838"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.6.977"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013813806341"},{"key":"ref15","article-title":"Canonical propositional gentzen-type systems","author":"avron","year":"2000","journal-title":"Submitted to IJCAR 2001"},{"key":"ref16","article-title":"Automated deduction for many-valued logics","author":"baaz","year":"2000","journal-title":"Handbook of Automated Reasoning"},{"key":"ref17","first-page":"30","article-title":"How computers should think","author":"belnap","year":"1977","journal-title":"Contemporary Aspects of Philosophy"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"ref19","first-page":"1","article-title":"The completeness and compactness of a three-valued first-order logic","volume":"xix","author":"d'ottaviano","year":"1985","journal-title":"Revista colombiana de matematicas"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00215626"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316044"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.4.447"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00032-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636612"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2274169"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2273828"},{"key":"ref46","first-page":"23","article-title":"Axiomatization of partial system of threevalued calculus of propositions","volume":"11","author":"sobocinski","year":"1952","journal-title":"Computing - Systems Journal"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.2307\/2266683"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717"},{"key":"ref47","first-page":"7","article-title":"A gentzen-type formulation of some intermediate propositional logics","volume":"7","author":"sonobe","year":"1975","journal-title":"Journal Tsuda College"},{"article-title":"Substructural Logics","year":"1993","author":"schroeder-heister","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(89)90003-0"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-2191-3_13"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1090\/pspum\/025\/0363802","article-title":"Completeness and axiomatization in many-valued logics","author":"scott","year":"1974","journal-title":"Proc of the Tarski symposium volume XXV of Proc of Symposia in Pure Mathematics"}],"event":{"name":"31st IEEE International Symposium on Multiple-Valued Logic","acronym":"ISMVL-01","location":"Warsaw, Poland"},"container-title":["Proceedings 31st IEEE International Symposium on Multiple-Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7365\/19986\/00924586.pdf?arnumber=924586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T08:31:45Z","timestamp":1583915505000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/924586\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2001.924586","relation":{},"subject":[]}}