Horn filter pairs and Craig interpolation in Propositional Logic

• Peter Arndt ^[2] ; Hugo Luiz Mariano ^[3] ; Darllan Conceicao Pinto ^[1]
  1. [1] Universidade Federal da Bahia

     Universidade Federal da Bahia

     Brasil

     
  2. [2] Universidad de Düsseldorf
  3. [3] Universidad de Sao Paulo

  Mostrar afiliaciones +
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 30, Nº. 2, 2023, págs. 19-23
• Idioma: inglés
• Títulos paralelos:
  • Pares filtro de Horn y interpolación de Craig en Lógica Proposional
• Enlaces
  • Texto completo (pdf)