Horn filter pairs and Craig interpolation in propositional logic (2023)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Subjects: LÓGICA ALGÉBRICA; TEORIA DOS MODELOS
- Keywords: Horn filter; Craig interpolation; Propositional Logic
- Language: Inglês
- Imprenta:
- Source:
- Título: Boletin de Matematicas
- ISSN: 0120-0380
- Volume/Número/Paginação/Ano: v. 30, n. 2, p. 1-5, 2023
-
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: 03 dez. 2025. -
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/112563 -
NLM
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 2025 dez. 03 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563 -
Vancouver
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 2025 dez. 03 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563 - A global approach to AECs
- Towards a good notion of categories of logics
- κ-filter pairs and non-finitary logics
- Categorial forms of the axiom of choice
- Remarks on propositional logics and the categorial relationship between institutions and Π-institutions
- Expansions of Galois theory in algebra: infinity Galois theory and applications
- On profinite structures
- Proceedings of the XVIII Brazilian Logic Conference. [Preface]
- Finitary filter pairs and propositional logics
- Congruence filter pairs, equational filter pairs and adjoints
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3182198.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
