|
|||||
|
|
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications |
|
| Authors: | Fiorentini, C Miglioli, P, Dec |
| Affiliation: | Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico 39, 20135 Milano, Italy. E-mail: fiorentini@dsi.unimi.it |
| Abstract: | |
| Keywords: | tableau calculus context-rule cut-free sequentcalculus duplications |
| 本文献已被 Oxford 等数据库收录！ | |