Publicado

2024-01-19

Horn filter pairs and Craig interpolation in Propositional Logic

Pares filtro de Horn y interpolación de Craig en Lógica Proposional

Palabras clave:

Horn filter, Craig interpolation, Propositional Logic (en)
Filtro de Horn, interpolación de Craig, lógica proposicional (es)

Descargas

Autores/as

  • Peter Arndt University of Düsseldorf
  • Hugo Luiz Mariano University of Sao Paulo
  • Darllan Conceicao Pinto Federal University of Bahia

Proceedings ELBC - Short Paper

Proceedings ELBC - Artículo corto

Citas

P. Arndt, H. L. Mariano, and D. C. Pinto, Finitary filter pairs and propositional logics, South American Journal of Logic 4 (2018), no. 2, 257-280.

P. Arndt, H. L. Mariano, and D. C. Pinto, Congruence filter pairs, adjoints and Leibniz hierarchy, arXiv:2109.01065 (2021).

P. Arndt, H. L. Mariano, and D. C. Pinto, Congruence filter pairs, equational filter pairs and adjoints, submitted (2023).

P. Arndt, H. L. Mariano, and D. C. Pinto, Filter pairs and natural extensions of logics, Archive for Mathematical Logic 62 (2023), 113-145.

P. Arndt, H. L. Mariano, and D. C. Pinto, Horn filter pairs and applications to Craig interpolation, in preparation (2023).

P. Dellunde and R. Jansana, Some characterization theorems for infinitary universal horn logic without equality, The Journal of Symbolic Logic 61 (1996), no. 4, 1242-1260.

J. G. Raftery, Order algebraizable logics, Annals of Pure and Applied Logic 164 (2013), 251-283.

Licencia

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.