|
|||||
|
|
Some theorems on structural consequence operations |
|
| Authors: | Stephen L. Bloom |
| Affiliation: | 1. Mathematical Science Department, IBM T. J. Watson Research Center, Yorktown Heights, New York |
| Abstract: | Two characterizations are given of those structural consequence operations on a propositional language which can be defined via proofs from a finite number of polynomial rules. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |