{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T18:05:56Z","timestamp":1770919556456,"version":"3.50.1"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Recently, it has been proposed to understand a <jats:italic>logic<\/jats:italic> as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of \u2018increasingly classical\u2019 logics\u2014that is, logics that are classical at the level of inferences and of increasingly higher metainferences\u2014all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow different route. We explore logics that are <jats:italic>different<\/jats:italic> from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems <jats:italic>meta-classical non-classical logics<\/jats:italic>. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician.<\/jats:p>","DOI":"10.1017\/s175502032400011x","type":"journal-article","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T12:27:13Z","timestamp":1715862433000},"page":"1146-1171","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":4,"title":["META-CLASSICAL NON-CLASSICAL LOGICS"],"prefix":"10.1017","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4819-2841","authenticated-orcid":false,"given":"EDUARDO","family":"BARRIO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7969-4396","authenticated-orcid":false,"given":"CAMILLO","family":"FIORE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9991-2760","authenticated-orcid":false,"given":"FEDERICO","family":"PAILOS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2024,5,16]]},"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502032400011X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T10:53:39Z","timestamp":1735815219000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502032400011X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,16]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["S175502032400011X"],"URL":"https:\/\/doi.org\/10.1017\/s175502032400011x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,16]]},"assertion":[{"value":"\u00a9 The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}