Decidability of the interpolation problem and of related properties in tabular logics

• Autores: L. L. Maksimova
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 48, Nº. 6, 2009, págs. 426-448
• Idioma: inglés
• DOI: 10.1007/s10469-009-9070-0
• Texto completo no disponible (Saber más ...)