A method of proving interpolation in paraconsistent extensions of the minimal logic

• Autores: L. L. Maksimova
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 46, Nº. 5, 2007, págs. 341-353
• Idioma: inglés
• Texto completo no disponible (Saber más ...)