|
|||||
|
|
A decision procedure for the systemE (of entailment). I. |
|
| Authors: | E K Vojshvillo |
| Institution: | 1. Institute of Philosophy, Moscow University, Moscow, USSR |
| Abstract: | A system of natural deduction is presented whose set of theses is identical with that of the systemE of entailment. For that system a decision procedure is described proving the decidability ofE. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |