{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T02:10:08Z","timestamp":1707963008874},"reference-count":32,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.3166\/jancl.13.277-315","type":"journal-article","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T02:19:11Z","timestamp":1181614751000},"page":"277-315","source":"Crossref","is-referenced-by-count":1,"title":["Truth-values as labels: a general recipe for labelled deduction"],"prefix":"10.1080","volume":"13","author":[{"given":"Cristina","family":"Sernadas","sequence":"first","affiliation":[{"name":"a Centro de L\u00f3gica e Computa\u00e7\u00e3o, Departamento de Matem\u00e1tica , IST , Avenida Rovisco Pais, 1049-001 , Lisboa , Portugal"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[{"name":"b Department of Computer Science , ETH Zentrum, IFW C43.1 , Haldeneggsteig 4, CH-8092 , Z\u00fcrich , Switzerland"}]},{"given":"Jo\u00e3o","family":"Rasga","sequence":"additional","affiliation":[{"name":"a Centro de L\u00f3gica e Computa\u00e7\u00e3o, Departamento de Matem\u00e1tica , IST , Avenida Rovisco Pais, 1049-001 , Lisboa , Portugal"}]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[{"name":"a Centro de L\u00f3gica e Computa\u00e7\u00e3o, Departamento de Matem\u00e1tica , IST , Avenida Rovisco Pais, 1049-001 , Lisboa , Portugal"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.2307\/2695090"},{"issue":"1","key":"CIT0002","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"BAAZ M.","year":"1998","journal-title":"Studia Logica"},{"issue":"1","key":"CIT0003","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1005003904639","volume":"60","author":"BASIN D.","year":"1998","journal-title":"Studia Logica"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-4040-9","volume-title":"Labelled Deduction","author":"BASIN D.","year":"2000"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004991115882"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1093\/logcom\/10.1.137","volume":"10","author":"BLACKBURN P.","year":"2000","journal-title":"Journal of Logic and Computation"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","volume-title":"Many-Valued Logics I","author":"BOLC L.","year":"1992"},{"key":"CIT0009","first-page":"1","volume-title":"Theoretical Aspects of Computer Software","author":"CAIRES L.","year":"2001"},{"issue":"2","key":"CIT0010","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"CARNIELLI W. A.","year":"1987","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"CIT0011","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00881958","volume":"13","author":"D'AGOSTINO M.","year":"1994","journal-title":"Journal of Automated Reasoning"},{"key":"CIT0012","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1754-0","volume-title":"Handbook of Tableau Methods","author":"D'AGOSTINO M.","year":"1999"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic III","author":"DUNN J. M.","year":"1986"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.2307\/2275807"},{"key":"CIT0015","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","volume":"1","author":"GABBAY D. M.","year":"1996"},{"key":"CIT0016","volume-title":"Fibring Logics","author":"GABBAY D. M.","year":"1999"},{"issue":"1","key":"CIT0017","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1013063928696","volume":"11","author":"GABBAY D. M.","year":"2002","journal-title":"Journal of Logic, Language and Information"},{"key":"CIT0018","first-page":"183","volume-title":"Procedings of CSL'2002","author":"GALMICHE D."},{"key":"CIT0019","volume-title":"A Treatise on Many-Valued Logics","author":"GOTTWALD S.","year":"2001"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"H\u00c4HNLE , R.Tableaux for many-valued logics529\u2013580. D'Agostino et al. [D'A 99]","DOI":"10.1007\/978-94-017-1754-0_9"},{"key":"CIT0021","volume-title":"Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity","author":"MATEUS P.","year":"2003"},{"issue":"2","key":"CIT0022","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"O'HEARN P. W.","year":"1999","journal-title":"Bulletin of Symbolic Logic"},{"key":"CIT0023","volume-title":"Natural deduction, a proof-theoretical study","author":"PRAWITZ D.","year":"1965"},{"key":"CIT0024","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/3-540-45988-X_18","volume-title":"Frontiers of Combining Systems 4","author":"RASGA J. A.","year":"2002"},{"issue":"3","key":"CIT0025","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1093\/logcom\/12.3.443","volume":"12","author":"RASGA J.","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"CIT0026","volume-title":"Handbook of the History and Philosophy of Logic","volume":"4","author":"RESTALL G."},{"issue":"2","key":"CIT0027","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"SERNADAS A.","year":"1999","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"CIT0028","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.2178\/jsl\/1190150298","volume":"67","author":"SERNADAS C.","year":"2002","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"CIT0029","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1005298632302","volume":"64","author":"SOFRONIE-STOKKERMANS V.","year":"2000","journal-title":"Studia Logica"},{"issue":"2","key":"CIT0030","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1005228629540","volume":"64","author":"SOFRONIE-STOKKERMANS V.","year":"2000","journal-title":"Studia Logica"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5"},{"issue":"3","key":"CIT0032","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"ZANARDO A.","year":"2001","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.13.277-315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T01:37:04Z","timestamp":1707961024000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.13.277-315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":32,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2003,1]]}},"alternative-id":["10.3166\/jancl.13.277-315"],"URL":"https:\/\/doi.org\/10.3166\/jancl.13.277-315","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}