Year: 2025
Type: article
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 .
Source: Studia Logica
Author: Jonas Raab
Institution: Trinity College Dublin
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
OpenAlex ID: W4409144688