Cut-elimination Theorems of Some Infinitary Modal Logics

• Autores: Y. Tanaka
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 3, 2001, págs. 327-340
• Idioma: inglés
• DOI: 10.1002/1521-3870(200108)47:3<327::aid-malq327>3.0.co;2-p
• Texto completo no disponible (Saber más ...)