Horn filter pairs and Craig interpolation in Propositional Logic

Peter Arndt; Hugo Luiz Mariano; Darllan Conceicao Pinto

Published

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

Keywords:

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

Downloads

PDF (Español)

Authors

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

Abstract (en)
Abstract (es)

Proceedings ELBC - Short Paper

Proceedings ELBC - Artículo corto

References

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.

How to Cite

APA

Arndt, P., Mariano, H. L. and 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. and 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: 2 aug. 2024.

Chicago

Arndt, Peter, Hugo Luiz Mariano, and 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. and Pinto, D. C. (2023) “Horn filter pairs and Craig interpolation in Propositional Logic”, Boletín de Matemáticas, 30(2), pp. 19–23. Available at: https://revistas.unal.edu.co/index.php/bolma/article/view/112563 (Accessed: 2 August 2024).

IEEE

[1]

P. Arndt, H. L. Mariano, and D. C. Pinto, “Horn filter pairs and Craig interpolation in Propositional Logic”, Bol. Matemáticas, vol. 30, no. 2, pp. 19–23, Oct. 2023.

MLA

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

Turabian

Arndt, Peter, Hugo Luiz Mariano, and Darllan Conceicao Pinto. “Horn filter pairs and Craig interpolation in Propositional Logic”. Boletín de Matemáticas 30, no. 2 (October 11, 2023): 19–23. Accessed August 2, 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]. 2023 Oct. 11 [cited 2024 Aug. 2];30(2):19-23. Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563