QUARC and Classical Logic
Jonas Raab · Studia Logica · 2025
Abstract I show that Hanoch Ben-Yami’s so-called QUantified ARgument Calculus () can be extended to what I call $$^{+}$$ + which I show to be intertranslatable with a version of first-order logic in which unary predicates are non-empty. Given this result, I show that $$^{+}$$ + is complete, propose an axiomatization of , and discuss the resulting expressive limitation of .