{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T18:34:54Z","timestamp":1770230094982,"version":"3.49.0"},"reference-count":15,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T00:00:00Z","timestamp":1560124800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2019,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article investigates the proof theory of the Quantified Argument Calculus (Quarc) as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction (Suppes-Lemmon style), we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen\u2019s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries (including subformula property and thus consistency).<\/jats:p>","DOI":"10.1017\/s1755020318000114","type":"journal-article","created":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T07:06:08Z","timestamp":1560150368000},"page":"607-636","source":"Crossref","is-referenced-by-count":11,"title":["PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS"],"prefix":"10.1017","volume":"12","author":[{"given":"EDI","family":"PAVLOVI\u0106","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NORBERT","family":"GRATZL","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,6,10]]},"reference":[{"key":"S1755020318000114_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000373"},{"key":"S1755020318000114_ref7","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"S1755020318000114_ref15","volume-title":"Proof Theory","author":"Takeuti","year":"1987"},{"key":"S1755020318000114_ref14","volume-title":"Beweistheorie","author":"Sch\u00fctte","year":"1960"},{"key":"S1755020318000114_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0458-8_3"},{"key":"S1755020318000114_ref11","first-page":"258","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Lambert","year":"2001"},{"key":"S1755020318000114_ref4","volume-title":"Logic and Natural Language","author":"Ben-Yami","year":"2004"},{"key":"S1755020318000114_ref5","volume-title":"Completeness of the Quantified Argument Calculus","author":"Ben-Yami","year":"2015"},{"key":"S1755020318000114_ref6","first-page":"1","volume-title":"Handbook of Proof Theory","author":"Buss","year":"1998"},{"key":"S1755020318000114_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"},{"key":"S1755020318000114_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9293-z"},{"key":"S1755020318000114_ref9","volume-title":"Introduction to Metamathematics","author":"Kleene","year":"2000"},{"key":"S1755020318000114_ref12","first-page":"173","volume-title":"First-Order Logic Revisited","volume":"12","author":"Lanzet","year":"2006"},{"key":"S1755020318000114_ref1","volume-title":"Methods of Cut-Elimination","volume":"34","author":"Baaz","year":"2011"},{"key":"S1755020318000114_ref10","volume-title":"Free Logics: Their Foundations, Character, and Some Applications Thereof","author":"Lambert","year":"1997"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020318000114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,16]],"date-time":"2019-12-16T21:17:19Z","timestamp":1576531039000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020318000114\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,10]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["S1755020318000114"],"URL":"https:\/\/doi.org\/10.1017\/s1755020318000114","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,10]]}}}