{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T02:49:48Z","timestamp":1771642188626,"version":"3.50.1"},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1093\/jigpal\/jzw032","type":"journal-article","created":{"date-parts":[[2016,6,21]],"date-time":"2016-06-21T23:41:38Z","timestamp":1466552498000},"page":"708-718","source":"Crossref","is-referenced-by-count":11,"title":["Uniqueness of axiomatic extensions of cut-free classical propositional logic"],"prefix":"10.1093","volume":"24","author":[{"given":"Mario","family":"Piazza","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Pulcini","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,6,19]]},"reference":[{"key":"2016091600040484000_24.5.708.1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881838"},{"key":"2016091600040484000_24.5.708.2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi030"},{"key":"2016091600040484000_24.5.708.3","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.jal.2012.09.002","article-title":"A logic of non-monotonic interactions","volume":"11","author":"Boniolo","year":"2014","journal-title":"Journal of Applied Logic"},{"key":"2016091600040484000_24.5.708.4","doi-asserted-by":"crossref","unstructured":"Carnielli W. A. . Polynomial ring calculus for many-valued logics. In Symposium on Multiple-Valued Logic, pp. 20\u201325. IEEE Computer Society, 2005.","DOI":"10.1109\/ISMVL.2005.38"},{"key":"2016091600040484000_24.5.708.5","doi-asserted-by":"crossref","unstructured":"Carnielli W. A. and Pizzi C. . Modalities and Multimodalities. Springer, 2008.","DOI":"10.1007\/978-1-4020-8590-1"},{"key":"2016091600040484000_24.5.708.6","unstructured":"Carnielli W. A. and Pulcini G. . Cuts and cut-elimination for complementary classical logic. CLE e-Prints, 15, 2015."},{"key":"2016091600040484000_24.5.708.7","unstructured":"Church A. . Introduction to Mathematical Logic. Princeton University Press, 1956."},{"key":"2016091600040484000_24.5.708.8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.08.001"},{"key":"2016091600040484000_24.5.708.9","unstructured":"Gentzen G. Szabo M. E. . In The Collected Papers of Gerhard Gentzen, North-Holland, 1969."},{"key":"2016091600040484000_24.5.708.10","unstructured":"Girard J.-Y. . Proof theory and logical complexity, Vol. 1. Bibliopolis, 1987."},{"key":"2016091600040484000_24.5.708.11","unstructured":"Girard J.-Y. Lafont Y. and Taylor P. . Proofs and Types. Cambridge University Press, 1989."},{"key":"2016091600040484000_24.5.708.12","unstructured":"Ketonen O. , Untersuchungen zum Pr\u00e4dikatenkalk\u00fcl. Annales Academiae Scientiarum Fennicae, Series A, I, 1944."},{"key":"2016091600040484000_24.5.708.13","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/11.1.69"},{"key":"2016091600040484000_24.5.708.14","unstructured":"Makinson D. . Bridges from classical to nonmonotonic logic. King\u2019s College Publications, 2005."},{"key":"2016091600040484000_24.5.708.15","doi-asserted-by":"publisher","DOI":"10.2307\/420956"},{"key":"2016091600040484000_24.5.708.16","doi-asserted-by":"crossref","unstructured":"Negri S. and von Plato J. . Structural Proof Theory. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"2016091600040484000_24.5.708.17","doi-asserted-by":"crossref","unstructured":"Piazza M. and Pulcini G. . Unifying logics via context-sensitiveness. Journal of Logic and Computation, 2015. doi: 10.1093\/logcom\/exv051.","DOI":"10.1093\/logcom\/exv051"},{"key":"2016091600040484000_24.5.708.18","unstructured":"Prawitz D. . Natural Deduction: A Proof-Theoretical Study. PhD Thesis, Almqvist & Wiksell, 1965."},{"key":"2016091600040484000_24.5.708.19","doi-asserted-by":"crossref","unstructured":"Tiomkin M. L. . Proving unprovability. In Proceedings of LICS-88, pp. 22\u201326. Edinburgh, IEEE Computer Society Press, 1988.","DOI":"10.1109\/LICS.1988.5097"},{"key":"2016091600040484000_24.5.708.20","first-page":"112","article-title":"Complementary sentential logics","volume":"19","author":"Varzi","year":"1990","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/24\/5\/708\/6760879\/jzw032.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T09:04:08Z","timestamp":1503565448000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,19]]},"references-count":20,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2016,9,15]]},"published-print":{"date-parts":[[2016,10]]}},"alternative-id":["10.1093\/jigpal\/jzw032"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw032","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,19]]}}}