June 13, 2021

Logica Rethorica Grammatica, from Seven Liberal Arts, Francesco Pesellino and Workshop, Florence, about 1447-1457

(back to QUARC home page)

The publications below are listed by publication date, online one where available.

Ben-Yami, Hanoch 2014. The Quantified Argument Calculus. The Review of Symbolic Logic 7(1): 120–146, doi:10.1017/S1755020313000373, published online 22 Jan 2014.

Raab, Jonas 2016. The Relationship of QUARC and Classical Logic. Master’s thesis, LMU, Munich.

Lanzet, Ran 2017. A Three-valued Quantified Argument Calculus: Domain-free Model-theory, Completeness, and Embedding of FOL. The Review of Symbolic Logic 10(3): 549–582, doi:10.1017/S1755020317000053, published online 08 May 2017.

Pavlović, Edi 2017. The Quantified Argument Calculus: An Inquiry into Its Logical Properties and Applications. PhD thesis, Central European University, Budapest.

Raab, Jonas 2018. Aristotle, Logic, and QUARC. History and Philosophy of Logic 39(4): 305–340, doi:10.1080/01445340.2018.1467198, published online 29 May 2018.

Pavlović, Edi & Gratzl, Norbert 2019. Proof-theoretic Analysis of the Quantified Argument CalculusThe Review of Symbolic Logic 12(4): 607–636, doi:10.1017/S1755020318000114, published online 10 June 2019.

Pavlović, Edi & Gratzl, Norbert 2019. Free Logic and the Quantified Argument Calculus. In Mras, G. M., Weingartner, P. & Ritter, B., editors, Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Volume 27: 105–115. Walter de Gruyter GmbH. doi:10.1515/9783110657883-007.

Ben-Yami, Hanoch 2021. The Barcan Formulas and Necessary Existence: The View from Quarc. Synthese 198: 11029–11064, doi:10.1007/s11229-020-02771-4, published online 18 July 2020.

Pavlović, Edi & Gratzl, Norbert 2023. Abstract Forms of Quantification in the Quantified Argument CalculusThe Review of Symbolic Logic 16(2): 449–479, doi:10.1017/S175502032100006X, published online 08 March 2021.

Pascucci, Matteo. 2022. An Axiomatic Approach to the Quantified Argument CalculusErkenntnis, doi:10.1007/s10670-022-00519-9, published online 24 January 2022.

Ben-Yami, Hanoch. 2020. The Quantified Argument Calculus and Natural Logic. Dialectica 74(2): 211–246, doi:10.48106/dial.v74.i2.02, published online 18 November 2022.

Yin, Hongkai & Hanoch Ben-Yami. 2023. The Quantified Argument Calculus with Two- and Three-valued Truth-valuational SemanticsStudia Logica 111: 281–320, doi: 10.1007/s11225-022-10022-5, published online 25 November 2022.

Ben-Yami, Hanoch & Edi Pavlović. 2022. Completeness of the Quantified Argument Calculus on the Truth-Valuational Approach. In Human Rationality: Festschrift for Nenad Smokrović, edited by Boran Berčić, Aleksandra Golubović, and Majda Trobok: 53–77. Faculty of Humanities and Social Sciences, University of Rijeka.

Pavlović, Edi & Gratzl, Norbert. forthcoming. Decidable fragments of the Quantified argument calculus. The Review of Symbolic Logic.


The works listed below predate the development of the QUARC formal system, first published in (Ben‑Yami 2014), although the ones contained in (Lanzet & Ben-Yami 2004) and (Lanzet 2006) are close to it and contain some results transferable to it. (Ben‑Yami 2004) allots an essential role in the development of the alternative logic to the notion of plural reference, as do some other works listed below, a notion which later became redundant for this purpose. All the same, these works contain some investigations relevant to QUARC which are not found in later works, as well as comparisons with other systems – primarily plural quantification logic and generalised quantifiers – which are applicable with little modification to QUARC as well and are not contained in later publications.

Ben-Yami, Hanoch 2004. Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance. Routledge, doi:10.4324/9781315250267.

Lanzet, Ran & Ben-Yami, Hanoch 2004. Logical Inquiries into a New Formal System with Plural Reference. In Hendricks et al. (eds.): First-Order Logic Revisited. Berlin, Logos Verlag: 173–223.

Ben-Yami, Hanoch 2004. New Semantics and Deductive System for Natural Language. In L. Behounek (ed.): Logica Yearbook 2003. Prague: Filosofia: 59–71.

Lanzet, Ran 2006. An Alternative Logical Calculus, Based on an Analysis of Quantification as Involving Plural Reference. Master’s thesis, Tel-Aviv University.

Ben-Yami, Hanoch 2009. Plural Quantification Logic: A Critical Appraisal. The Review of Symbolic Logic 2(1): 208–232, doi:10.1017/S1755020309090108.

Ben-Yami, Hanoch 2009. Generalized Quantifiers, and Beyond. Logique et Analyse 52(208): 309–326.

Westerståhl, Dag 2012. Explaining Quantifier Restriction: Reply to Ben-Yami. Logique et Analyse 55(217): 109–120.

Ben-Yami, Hanoch 2012. Response to Westerståhl. Logique et Analyse 55(217): 47–55.

(back to QUARC home page)