Horn semantics and Craig interpolation (2025)
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: SEMÂNTICA, INTERPOLAÇÃO, LÓGICA ALGÉBRICA
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn semantics and Craig interpolation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 218-219. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 24 nov. 2025.APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Horn semantics and Craig interpolation. In Book of abstracts (p. 218-219). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/viewNLM
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 nov. 24 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/viewVancouver
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 nov. 24 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
