Cut elimination for S4_n and K4_n with the central agent axiom

• Autores: Julius Andrikonis
• Localización: Lithuanian mathematical journal, ISSN 0363-1672, Vol. 49, Nº. 2, 2009, págs. 123-139
• Idioma: inglés
• Texto completo no disponible (Saber más ...)