Presuppositional completeness |
| |
| Authors: | Wojciech Buszkowski |
| |
| Affiliation: | (1) Institute of Mathematics, Adam Mickiewicz University, Matejki 48/49, 60-769 Pozna!["nacute"]("/content/r77117k813620547/xlarge324.gif") , Poland |
| |
| Abstract: | Some notions of the logic of questions (presupposition of a question, validation, entailment) are used for defining certain kinds of completeness of elementary theories. Presuppositional completeness, closely related to  -completeness ([3], [6]), is shown to be fulfilled by strong elementary theories like Peano arithmetic. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
