<p>We investigate the relational syllogistic as a fragment of the Quantified Argument Calculus (Quarc). The language contains polyadic predicates (together with their reordered forms) and singular terms. A truth-valuational semantics is provided for the fragment. A sound and complete tableau calculus is formulated, which is the first time semantic tableau is used in the study of Quarc. With certain techniques for analyzing and transforming tableaux, we prove that the satisfiability problem is decidable and is <span>NLogSpace</span>-complete with or without reordered predicates. Besides, when singular arguments are absent, the logic also admits a proof system consisting of syllogistic rules.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Relational Syllogistic in the Quantified Argument Calculus

  • Hongkai Yin

摘要

We investigate the relational syllogistic as a fragment of the Quantified Argument Calculus (Quarc). The language contains polyadic predicates (together with their reordered forms) and singular terms. A truth-valuational semantics is provided for the fragment. A sound and complete tableau calculus is formulated, which is the first time semantic tableau is used in the study of Quarc. With certain techniques for analyzing and transforming tableaux, we prove that the satisfiability problem is decidable and is NLogSpace-complete with or without reordered predicates. Besides, when singular arguments are absent, the logic also admits a proof system consisting of syllogistic rules.