Horn filter pairs and Craig interpolation in propositional logic (2023)
Arndt, Peter 
; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Boletin de Matematicas. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 02 nov. 2024.APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 nov. 02 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 nov. 02 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
