排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart
of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.
*Research for this paper was supported by The Foundation for Polish Science (both authors), and indirectly (in the case of
the first author) by a bilateral exchange project funded by the Ministry of the Flemish Community (project BIL 01/80) and
the State Committee for Scientific Research, Poland. 相似文献
1