The decidability of craig�s interpolation property in well-composed J-logics

• Autores: L. L. Maksimova
• Localización: Siberian mathematical journal, ISSN 0037-4466, Vol. 53, Nº. 5, 2012, págs. 839-852
• Idioma: inglés
• DOI: 10.1134/s0037446612050096
• Texto completo no disponible (Saber más ...)