{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T10:02:20Z","timestamp":1748167340550},"reference-count":7,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.3166\/jancl.17.511-519","type":"journal-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T10:47:11Z","timestamp":1201517231000},"page":"511-519","source":"Crossref","is-referenced-by-count":6,"title":["Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI \u2605"],"prefix":"10.1080","volume":"17","author":[{"given":"Joanna","family":"Golinska-Pilarek","sequence":"first","affiliation":[{"name":"a  National Institute of Telecommunications ,  Warsaw ,  Poland"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890617"},{"key":"CIT0002","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods. Proceedings of the International Conference Tableaux 2000","author":"Konikowska B.","year":"2000"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.2307\/2275375"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2798-3_5"},{"key":"CIT0005","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa H.","year":"1963"},{"key":"CIT0006","first-page":"49","volume-title":"Logic, language and probability. A selections of papers of the 4th International Congress for Logic, Methodology and Philosophy","author":"Suszko R."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064874"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.17.511-519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:47:38Z","timestamp":1498229258000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.17.511-519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":7,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.3166\/jancl.17.511-519"],"URL":"https:\/\/doi.org\/10.3166\/jancl.17.511-519","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}