Horn filter pairs and Craig interpolation in Propositional Logic

Peter Arndt; Hugo Luiz Mariano; Darllan Conceicao Pinto

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

PDF

Autores/as

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

Resumen (en)
Resumen (es)

Proceedings ELBC - Short Paper

Proceedings ELBC - Artículo corto

Referencias

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.

Cómo citar

APA

Arndt, P., Mariano, H. L. y Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in Propositional Logic. Boletín de Matemáticas, 30(2), 19–23. https://revistas.unal.edu.co/index.php/bolma/article/view/112563

ACM

[1]

Arndt, P., Mariano, H.L. y Pinto, D.C. 2023. Horn filter pairs and Craig interpolation in Propositional Logic. Boletín de Matemáticas. 30, 2 (oct. 2023), 19–23.

ACS

(1)

Arndt, P.; Mariano, H. L.; Pinto, D. C. Horn filter pairs and Craig interpolation in Propositional Logic. Bol. Matemáticas 2023, 30, 19-23.

ABNT

ARNDT, P.; MARIANO, H. L.; PINTO, D. C. Horn filter pairs and Craig interpolation in Propositional Logic. Boletín de Matemáticas, [S. l.], v. 30, n. 2, p. 19–23, 2023. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 9 jul. 2024.

Chicago

Arndt, Peter, Hugo Luiz Mariano, y Darllan Conceicao Pinto. 2023. «Horn filter pairs and Craig interpolation in Propositional Logic». Boletín De Matemáticas 30 (2):19-23. https://revistas.unal.edu.co/index.php/bolma/article/view/112563.

Harvard

Arndt, P., Mariano, H. L. y Pinto, D. C. (2023) «Horn filter pairs and Craig interpolation in Propositional Logic», Boletín de Matemáticas, 30(2), pp. 19–23. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/112563 (Accedido: 9 julio 2024).

IEEE

[1]

P. Arndt, H. L. Mariano, y D. C. Pinto, «Horn filter pairs and Craig interpolation in Propositional Logic», Bol. Matemáticas, vol. 30, n.º 2, pp. 19–23, oct. 2023.

MLA

Arndt, P., H. L. Mariano, y D. C. Pinto. «Horn filter pairs and Craig interpolation in Propositional Logic». Boletín de Matemáticas, vol. 30, n.º 2, octubre de 2023, pp. 19-23, https://revistas.unal.edu.co/index.php/bolma/article/view/112563.

Turabian

Arndt, Peter, Hugo Luiz Mariano, y Darllan Conceicao Pinto. «Horn filter pairs and Craig interpolation in Propositional Logic». Boletín de Matemáticas 30, no. 2 (octubre 11, 2023): 19–23. Accedido julio 9, 2024. https://revistas.unal.edu.co/index.php/bolma/article/view/112563.

Vancouver

1.

Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in Propositional Logic. Bol. Matemáticas [Internet]. 11 de octubre de 2023 [citado 9 de julio de 2024];30(2):19-23. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/112563