{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:08:44Z","timestamp":1648998524804},"reference-count":25,"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.127-148","type":"journal-article","created":{"date-parts":[[2009,11,12]],"date-time":"2009-11-12T15:07:30Z","timestamp":1258038450000},"page":"127-148","source":"Crossref","is-referenced-by-count":3,"title":["Behavioral algebraization of da Costa's <i>C<\/i>-systems"],"prefix":"10.1080","volume":"19","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[{"name":"SQIG \u2013 Instituto de Telecomunica\u00e7\u00f5es Department of Mathematics, IST, TU Lisbon (Portugal)"}]},{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[{"name":"SQIG \u2013 Instituto de Telecomunica\u00e7\u00f5es Department of Mathematics, IST, TU Lisbon (Portugal)"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/3-7643-7304-0_9"},{"key":"CIT0002","volume-title":"Lattice theory","author":"Birkhoff G.","year":"1967"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/0396"},{"key":"CIT0004","first-page":"77","volume":"34","author":"Bueno-Soler J.","year":"2005","journal-title":"Bulletin of the Section of Logic"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022301711366"},{"key":"CIT0007","author":"Caleiro C.","year":"2008","journal-title":"Bulletin of Symbolic Logic"},{"key":"CIT0008","author":"Caleiro C.","year":"2008","journal-title":"Bulletin of Symbolic Logic"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9163-8"},{"key":"CIT0010","volume-title":"Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency","author":"Carnielli W.","year":"2000"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935742"},{"key":"CIT0012","volume-title":"Sistemas formais inconsistentes","author":"da Costa N.","year":"1963"},{"key":"CIT0013","first-page":"A423","volume":"263","author":"da Costa N.","year":"1966","journal-title":"Comptes Rendus de l'Academie de Sciences de Paris"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891487"},{"key":"CIT0015","first-page":"95","volume":"146","author":"da Costa N.","year":"1994","journal-title":"Logique et Analyse"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093888132"},{"key":"CIT0017","first-page":"379","volume":"36","author":"da Costa N.","year":"1964","journal-title":"Anais da Academia Brasileira de Ci\u00eancias"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024621922509"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"CIT0020","volume-title":"Behavioral algebraization of logics, PhD thesis","author":"Gon\u00e7alves R.","year":"2008"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635932"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883254"},{"key":"CIT0023","first-page":"301","author":"Reichel H.","year":"1985","journal-title":"Contributions to general algebra 3, Proc. Conf., Vienna 1984"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.027"},{"key":"CIT0025","first-page":"41","volume":"8","author":"Seoane J.","year":"1991","journal-title":"Journal of Non-Classical Logics"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.19.127-148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,24]],"date-time":"2021-02-24T13:19:57Z","timestamp":1614172797000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.19.127-148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,1,1]]}},"alternative-id":["10.3166\/jancl.19.127-148"],"URL":"https:\/\/doi.org\/10.3166\/jancl.19.127-148","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]]}}}