|
|||||
|
|
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic |
|
| Authors: | Miglioli, P Moscato, U Ornaghi, M |
| Affiliation: | Dipartimento di Scienze dell'Informazione, Universita degli Studi di Milano, Via Comelico, 39-20135 Milano, Italy. E-mail: {miglioli, moscato, ornaghi}@hermes.mc.dsi.unimi.it |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |