Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter 
; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
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 property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 28 jul. 2024.APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdfNLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 jul. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdfVancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 jul. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
