New sequent calculi for Visser's Formal Propositional Logic

• Autores: K. Ishii
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 49, Nº 5, 2003, pág. 525
• Idioma: inglés
• Texto completo no disponible (Saber más ...)