|
|||||
|
|
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic |
|
| Authors: | Miglioli P; Moscato U; Ornaghi M |
| Institution: | 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 等数据库收录！ | |