{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:25:17Z","timestamp":1775075117562,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T00:00:00Z","timestamp":1729036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T00:00:00Z","timestamp":1729036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s10992-024-09779-y","type":"journal-article","created":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T08:02:45Z","timestamp":1729065765000},"page":"1701-1716","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4923-9998","authenticated-orcid":false,"given":"Rea","family":"Golan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,16]]},"reference":[{"key":"9779_CR1","first-page":"147","volume":"19","author":"X Caicedo","year":"1978","unstructured":"Caicedo, X. (1978). A formal system for the non-theorems of the propositional calculus. Notre Dame Journal of Formal Logic, 19, 147\u2013151.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9779_CR2","doi-asserted-by":"crossref","unstructured":"Chagrov, A. & Zakharyaschev, M. (1997). Modal Logic. Oxford logic guides, (vol. 35). Oxford University Press.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9779_CR3","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1007\/s10992-021-09639-z","volume":"51","author":"P Cobreros","year":"2022","unstructured":"Cobreros, P., La Rosa, E., & Tranchini, L. (2022). Higher-level inferences in the strong-kleene setting: A proof-theoretic approach. Journal of Philosophical Logic, 51, 1417\u20131452.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9779_CR4","first-page":"273","volume":"25","author":"W Carnielli","year":"2017","unstructured":"Carnielli, W., & Pulcini, G. (2017). Cut-elimination and deductive polarization in complementary classical logic. Logic Journal of the IGPL, 25(3), 273\u2013282.","journal-title":"Logic Journal of the IGPL"},{"key":"9779_CR5","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-25365-3_18","volume-title":"Graham Priest on Dialetheism and Paraconsistency","author":"B Dicher","year":"2019","unstructured":"Dicher, B., & Paoli, F. (2019). ST, LP and tolerant metainferences. In C. Ba\u015fkent & T. Ferguson (Eds.), Graham Priest on Dialetheism and Paraconsistency (pp. 383\u2013407). Springer."},{"key":"9779_CR6","doi-asserted-by":"crossref","unstructured":"Da R\u00e9, B., & Pailos, F. (2022). Sequent-calculi for metainferential logics. Studia Logica, 110(2), 319\u2013353.","DOI":"10.1007\/s11225-021-09967-w"},{"key":"9779_CR7","unstructured":"Dummett, M. (1973). Frege: Philosophy of language. Duckworth."},{"issue":"4","key":"9779_CR8","first-page":"288","volume":"1","author":"G Gentzen","year":"1964","unstructured":"Gentzen, G. (1964). Investigations into logical deduction. American Philosophical Quarterly, 1(4), 288\u2013306.","journal-title":"American Philosophical Quarterly"},{"issue":"6","key":"9779_CR9","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1007\/s10992-021-09616-6","volume":"51","author":"R Golan","year":"2021","unstructured":"Golan, R. (2021). Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates. Journal of Philosophical Logic, 51(6), 1295\u20131325.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9779_CR10","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/analys\/anab032","volume":"81","author":"R Golan","year":"2021","unstructured":"Golan, R. (2021). There is no tenable notion of global metainferential validity. Analysis, 81(3), 411\u2013420.","journal-title":"Analysis"},{"issue":"5","key":"9779_CR11","doi-asserted-by":"publisher","first-page":"182","DOI":"10.26686\/ajl.v19i5.7540","volume":"19","author":"R Golan","year":"2022","unstructured":"Golan, R., & Hlobil, U. (2022). Minimally nonstandard K3 and FDE. Australasian Journal of Logic, 19(5), 182\u2013213.","journal-title":"Australasian Journal of Logic"},{"issue":"4","key":"9779_CR12","doi-asserted-by":"publisher","first-page":"1296","DOI":"10.1017\/S1755020322000090","volume":"16","author":"R Golan","year":"2023","unstructured":"Golan, R. (2023). A simple sequent system for minimally inconsistent LP. Review of Symbolic Logic, 16(4), 1296\u20131311.","journal-title":"Review of Symbolic Logic"},{"key":"9779_CR13","doi-asserted-by":"crossref","unstructured":"Goranko, V. (2019). Hybrid deduction\u2013refutation systems. Axioms, 8(4), 118.","DOI":"10.3390\/axioms8040118"},{"key":"9779_CR14","doi-asserted-by":"crossref","unstructured":"Goranko, V., Pulcini, G., & Skura, T. (2020). Refutation systems: An overview and some applications to philosophical logics. In Knowledge, proof and dynamics: The fourth asian workshop on philosophical logic, (pp. 173\u2013197). Springer.","DOI":"10.1007\/978-981-15-2221-5_9"},{"key":"9779_CR15","doi-asserted-by":"publisher","first-page":"4759","DOI":"10.1007\/s11229-018-1687-x","volume":"196","author":"U Hlobil","year":"2019","unstructured":"Hlobil, U. (2019). Faithfulness for naive validity. Synthese, 196, 4759\u20134774.","journal-title":"Synthese"},{"key":"9779_CR16","unstructured":"Kortenbach, B. (2021). The Classicality of Epistemic Multilateral Logic. MA thesis, Institute for Logic, Language and Computation, Amsterdam, Netherlands."},{"key":"9779_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural proof theory","author":"S Negri","year":"2001","unstructured":"Negri, S., & von Plato, J. (2001). Structural proof theory. Cambridge University Press."},{"key":"9779_CR18","unstructured":"Pulcini, G., & Varzi, A. C. (2021). Classical logic through refutation and rejection. In Selected topics from contemporary logic. College Publications."},{"key":"9779_CR19","doi-asserted-by":"crossref","unstructured":"Pulcini, G. & Varzi, A. C. (2023). Complementary proof nets for classical logic. Logica Universalis, 1\u201322.","DOI":"10.52843\/cassyni.clt2kp"},{"issue":"4","key":"9779_CR20","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1080\/0020174X.2019.1680431","volume":"64","author":"R Rosenblatt","year":"2019","unstructured":"Rosenblatt, R. (2019). Bilateralism and Invalidities. Inquiry, 64(4), 481\u2013510.","journal-title":"Inquiry"},{"key":"9779_CR21","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1007\/s10992-020-09589-y","volume":"50","author":"R Rosenblatt","year":"2021","unstructured":"Rosenblatt, R. (2021). Towards a non-classical meta-theory for substructural approaches to paradox. Journal of Philosophical Logic, 50, 1007\u20131055.","journal-title":"Journal of Philosophical Logic"},{"key":"9779_CR22","volume-title":"Admissibility of logical inference rules","author":"V Rybakov","year":"1997","unstructured":"Rybakov, V. (1997). Admissibility of logical inference rules. Amsterdam: Elsevier."},{"issue":"4","key":"9779_CR23","doi-asserted-by":"publisher","first-page":"1284","DOI":"10.2307\/2274279","volume":"49","author":"P Schroeder-Heister","year":"1984","unstructured":"Schroeder-Heister, P. (1984). A natural extension of natural deduction. Journal of Symbolic Logic, 49(4), 1284\u20131300.","journal-title":"Journal of Symbolic Logic"},{"key":"9779_CR24","doi-asserted-by":"crossref","unstructured":"Skura. T. (2011). Refutation systems in propositional logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic, (2nd edn., vol. 16, pp. 115\u2013157). Kluwer.","DOI":"10.1007\/978-94-007-0479-4_2"},{"key":"9779_CR25","first-page":"169","volume":"146","author":"A Tamminga","year":"1994","unstructured":"Tamminga, A. (1994). Logics of rejection: Two systems of natural deduction. Logique & Analyse, 146, 169\u2013208.","journal-title":"Logique & Analyse"},{"key":"9779_CR26","doi-asserted-by":"crossref","unstructured":"Tiomkin, M.L. (1988). Proving unprovability. Proceedings of the 3rd Annual Symposium on Logic in Computer Science (LICS \u201988), (pp. 22\u201326).","DOI":"10.1109\/LICS.1988.5097"},{"issue":"4","key":"9779_CR27","first-page":"112","volume":"19","author":"AC Varzi","year":"1990","unstructured":"Varzi, A. C. (1990). Complementary sentential logics. Bulletin of the Section of Logic, 19(4), 112\u2013116.","journal-title":"Bulletin of the Section of Logic"},{"key":"9779_CR28","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1515\/krt-1992-010406","volume":"4","author":"AC Varzi","year":"1992","unstructured":"Varzi, A. C. (1992). Complementary logics for classical propositional languages. Kriterion, 4, 20\u201324.","journal-title":"Kriterion"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09779-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-024-09779-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09779-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T15:10:08Z","timestamp":1732893008000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-024-09779-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,16]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["9779"],"URL":"https:\/\/doi.org\/10.1007\/s10992-024-09779-y","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,16]]},"assertion":[{"value":"13 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 September 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}