{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:14:02Z","timestamp":1744200842539},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T00:00:00Z","timestamp":1623888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T00:00:00Z","timestamp":1623888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11787-021-00279-0","type":"journal-article","created":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T22:02:16Z","timestamp":1623967336000},"page":"11-26","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Kneale\u2019s Natural Deductions as a Notational Variant of Beth\u2019s Tableaus"],"prefix":"10.1007","volume":"16","author":[{"given":"Zvonimir","family":"\u0160iki\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,17]]},"reference":[{"key":"279_CR1","unstructured":"Beth, E.W.: Semantic Entailment and Formal Derivability, Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Letterkunde n.s 18, 309\u2013342 (1955)"},{"key":"279_CR2","volume-title":"The Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics","author":"EW Beth","year":"1959","unstructured":"Beth, E.W.: The Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam (1959)"},{"key":"279_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Co., Dordrecht (1983)"},{"issue":"2","key":"279_CR4","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen I. Mathematische Zeitschrift 39(2), 176\u2013210 (1935)","journal-title":"Mathematische Zeitschrift"},{"issue":"3","key":"279_CR5","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen II. Mathematische Zeitschrift 39(3), 405\u2013431 (1935)","journal-title":"Mathematische Zeitschrift"},{"key":"279_CR6","volume-title":"The Development of Logic","author":"W Kneale","year":"1962","unstructured":"Kneale, W., Kneale, M.: The Development of Logic. Clarendon Press, Oxford (1962)"},{"issue":"1","key":"279_CR7","first-page":"79","volume":"23","author":"M Mareti\u0107","year":"2018","unstructured":"Mareti\u0107, M.: On multiple conclusion deductions in classical logic. Math. Commun. 23(1), 79\u201395 (2018)","journal-title":"Math. Commun."},{"key":"279_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple Conclusion Logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D.J., Smiley, T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00279-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-021-00279-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00279-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T15:29:37Z","timestamp":1657553377000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-021-00279-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,17]]},"references-count":8,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["279"],"URL":"https:\/\/doi.org\/10.1007\/s11787-021-00279-0","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,17]]},"assertion":[{"value":"15 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 May 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}