Decidable Fragments of the Quantified Argument Calculus

Review of Symbolic Logic:1-26 (forthcoming)
  Copy   BIBTEX


This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s assertoric syllogistic is embeddable within, thus also providing another method of showing its decidability.



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Inexpressiveness of First-Order Fragments.William C. Purdy - 2006 - Australasian Journal of Logic 4 (5):1-12.
Lambek Calculus with Conjugates.Igor Sedlár & Andrew Tedder - 2020 - Studia Logica 109 (3):447-470.
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.


Added to PP

20 (#771,402)

6 months
13 (#200,551)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Edi Pavlović
Ludwig Maximilians Universität, München

Citations of this work

No citations found.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
``A Note on the Entcheidunsproblem".Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.

View all 18 references / Add more references