Glivenko like theorems in natural expansions of BCK-logic

• Autores: Antoni Torrens Torrell , R. Cignoli
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 2, 2004, pág. 111
• Idioma: inglés
• Texto completo no disponible (Saber más ...)