Gts and interrogative tableaux
暂无分享,去创建一个
A variant of the standard deductive tableau system is introduced, and interrogative rules are added, resulting in a so-called interrogative tableau system. A game-theoretical account of entailment is sketched, and the deductive tableau system is interpreted in these terms. Finally, it is shown how to extend this account of entailment into an account of interrogative entailment, thereby providing a semantics for the interrogative tableau system.
[1] R. Smullyan. First-Order Logic , 1968 .
[2] S. Korner,et al. The philosophy of mathematics , 1960 .
[3] Jaakko Hintikka,et al. The Game Of Language , 1983 .