An Inheritance Criterion for the Admissible Inference Rules of K4
A. N. Rutskii; B. R. Fedorishin
- 期刊名称Siberian Mathematical Journal
- 作者A. N. Rutskii; B. R. Fedorishin
- 卷第43卷
- 期第6期
- 印刷ISSN0037-4466
- 电子ISSN1573-9260
- 文件大小204.92KB
- 发表时间2002-11
- DOI10.1023/a:1021177619829
- 页码1094-1102