{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:20:31Z","timestamp":1763641231357,"version":"3.35.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/lics.2008.39","type":"proceedings-article","created":{"date-parts":[[2008,7,8]],"date-time":"2008-07-08T19:17:09Z","timestamp":1215544629000},"page":"229-240","source":"Crossref","is-referenced-by-count":57,"title":["From Axioms to Analytic Rules in Nonclassical Logics"],"prefix":"10.1109","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[]},{"given":"Nikolaos","family":"Galatos","sequence":"additional","affiliation":[]},{"given":"Kazushige","family":"Terui","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.2307\/2586685"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.2178\/jsl\/1191333839"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1023\/B:STUD.0000037127.15182.2a"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/BF00370844"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1016\/S0304-3975(02)00024-5"},{"year":"0","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.2178\/jsl\/1191333844"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.4288\/jafpos1956.2.183"},{"key":"3","first-page":"1","article-title":"the method of hypersequents in the proof theory of propositional non-classical logics","author":"avron","year":"1993","journal-title":"Logic From foundations to applications Proc Logic Colloquium"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/BF01531058"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1093\/logcom\/2.3.297"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1145\/1071596.1071600"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/BF01201363"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/S0165-0114(01)00098-7"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1093\/logcom\/11.2.283"},{"key":"4","doi-asserted-by":"crossref","first-page":"315","DOI":"10.3233\/FUN-2004-59401","article-title":"analytic calculi for monoidal t-norm based logic","volume":"59","author":"baaz","year":"2004","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1305\/ndjfl\/1094061862"},{"key":"8","article-title":"residuated lattices: an algebraic glimpse at substructural logics","author":"galatos","year":"2007","journal-title":"Studies in Logics and the Foundations of Mathematics"}],"event":{"name":"2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)","start":{"date-parts":[[2008,6,24]]},"location":"Pittsburgh, PA, USA","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 23rd Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4557886\/4557887\/04557914.pdf?arnumber=4557914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T23:47:13Z","timestamp":1738280833000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4557914\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/lics.2008.39","relation":{},"ISSN":["1043-6871"],"issn-type":[{"type":"print","value":"1043-6871"}],"subject":[],"published":{"date-parts":[[2008,6]]}}}