|
|||||
|
|
Intuitionistic sequent calculi for finitely many-valued logics |
|
| Authors: | Reznik, E Curmin, P |
| Affiliation: | A1 Institut Supérieur d'Electronique de Paris, 21 rue d'Assas, 75006 Paris, France E-mail: eugenia.reznik@isep.fr A2 Trusted Logic, 5 rue du Bailliage, 78000 Versailles, France E-mail: curmin@logique.jussieu.fr |
| Abstract: | |
| Keywords: | finitely many-valued logics sequent calculus Kripke models cut elimination |
| 本文献已被 Oxford 等数据库收录！ | |