{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T13:13:52Z","timestamp":1776258832700,"version":"3.50.1"},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2013,6,1]]},"DOI":"10.1093\/logcom\/exs039","type":"journal-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T09:33:43Z","timestamp":1349861623000},"page":"517-540","source":"Crossref","is-referenced-by-count":29,"title":["Cut-free sequent calculi for C-systems with generalized finite-valued semantics"],"prefix":"10.1093","volume":"23","author":[{"given":"A.","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Konikowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2012,10,9]]},"reference":[{"key":"2_43852567","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","volume":"80","year":"2005","journal-title":"STUDIA LOGICA"},{"key":"4_43852568","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.ijar.2006.06.011","volume":"45","year":"2007","journal-title":"JOURNAL OF APPROXIMATE REASONING"},{"key":"5_43852569","first-page":"41","volume":"1","year":"2006","journal-title":"LOGICA UNIVERSALIS"},{"key":"7_43852570","first-page":"365","volume":"10","year":"2005","journal-title":"JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGIC"},{"issue":"3","key":"11_20436234","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"Avron","year":"2005","journal-title":"Journal of Logic and Computation","ISSN":"https:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"13_43852571","first-page":"227","volume":"16","year":"2011","journal-title":"HANDBOOK OF PHILOSOPHICAL LOGIC"},{"key":"14_43852572","first-page":"45","volume":"141142","year":"1993","journal-title":"LOGIQUE ET ANALYSE"},{"key":"15_43852573","first-page":"5","volume":"12","year":"2001","journal-title":"SORITES"},{"key":"17_34639839","first-page":"15","volume":"14","year":"2007","journal-title":"HANDBOOK OF PHILOSOPHICAL LOGIC"},{"key":"19_43852574","first-page":"115","volume":"8","year":"2000","journal-title":"LOGIC AND LOGICAL PHILOSOPHY"},{"key":"21_43852575","first-page":"49","volume":"2","year":"1992","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"22_43852576","first-page":"848","volume":"2","year":"2001","journal-title":"PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE"},{"key":"24_36393620","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","year":"1974","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"},{"key":"25_43852577","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1093\/jigpal\/3.4.597","volume":"3","year":"1995","journal-title":"BULLETIN OF THE IGPL"},{"key":"26_43852578","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0933-3657(89)90031-6","volume":"1","year":"1989","journal-title":"Artificial intelligence in medicine","ISSN":"https:\/\/id.crossref.org\/issn\/0933-3657","issn-type":"print"},{"key":"28_43852579","first-page":"89","volume":"7","year":"1990","journal-title":"JOURNAL OF NONCLASSICAL LOGIC"},{"key":"29_43852580","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/j.jal.2011.04.001","volume":"9","year":"2011","journal-title":"JOURNAL OF APPLIED LOGIC"},{"key":"31_43852581","doi-asserted-by":"crossref","first-page":"7","DOI":"10.3166\/jancl.18.7-28","volume":"18","year":"2008","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"33_43852582","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.entcs.2009.11.007","volume":"256","year":"2009","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"34_43852583","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1305\/ndjfl\/1093893524","volume":"9","year":"1968","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/3\/517\/6150580\/exs039.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T20:38:46Z","timestamp":1503520726000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,9]]},"references-count":20,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2013,5,16]]},"published-print":{"date-parts":[[2013,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs039","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,9]]}}}