{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T16:40:47Z","timestamp":1710693647215},"reference-count":15,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2009,1,1]]},"DOI":"10.3166\/jancl.19.149-166","type":"journal-article","created":{"date-parts":[[2009,11,12]],"date-time":"2009-11-12T15:07:30Z","timestamp":1258038450000},"page":"149-166","source":"Crossref","is-referenced-by-count":3,"title":["A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications"],"prefix":"10.1080","volume":"19","author":[{"given":"Mauro","family":"Ferrari","sequence":"first","affiliation":[{"name":"Dipartimento di Informatica e Comunicazione, Universit\u00e0 degli Studi dell'Insubria, Via Mazzini 5, 21100, Varese, Italy"}]},{"given":"Camillo","family":"Fiorentini","sequence":"additional","affiliation":[{"name":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 degli Studi di Milano, Via Comelico 39, 20135, Milano, Italy"}]},{"given":"Guido","family":"Fiorino","sequence":"additional","affiliation":[{"name":"Dipartimento di Metodi Quantitativi per le Scienze Economiche Aziendali, Universit\u00e0 degli Studi di Milano-Bicocca, Piazza dell'Ateneo Nuovo 1, 20126, Milano, Italy"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"17","volume-title":"LPAR 2002: Short Contributions, CSL 2003: Extended Posters","author":"Avellone A.","year":"2004"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.013"},{"key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov A.","year":"1997"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.2307\/2275431"},{"key":"CIT0005","volume-title":"Decision procedures for propositional intermediate logics","author":"Fiorino G.","year":"2001"},{"key":"CIT0006","volume-title":"Intuitionistic Logic, Model Theory and Forcing","author":"Fitting M.","year":"1969"},{"key":"CIT0007","first-page":"101","volume":"1742","author":"Galmiche D.","year":"1999","journal-title":"ASIAN'99"},{"key":"CIT0008","first-page":"68","volume-title":"The Collected Works of Gerhard Gentzen","author":"Gentzen G.","year":"1969"},{"key":"CIT0009","volume-title":"Bounds for cut elimination in intuitionistic propositional logic","author":"Hudelmaier J.","year":"1989"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.1.63"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/5.1.145"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9060-z"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90006-9"},{"key":"CIT0014","series-title":"Series 2","first-page":"37","volume-title":"Sixteen papers on logic and algebra","volume":"94","author":"Vorob'ev N. N.","year":"1970"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1754-0_5"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.19.149-166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T16:00:09Z","timestamp":1710691209000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.19.149-166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,1,1]]}},"alternative-id":["10.3166\/jancl.19.149-166"],"URL":"https:\/\/doi.org\/10.3166\/jancl.19.149-166","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}