Horn filter pairs and Craig interpolation property (2019)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Assunto: LÓGICA ALGÉBRICA
- Language: Inglês
- Imprenta:
- Publisher: EDUFCG
- Publisher place: João Pessoa
- Date published: 2019
- Source:
- Título: Book of Abstracts
- Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)
-
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: 27 dez. 2025. -
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.pdf -
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2025 dez. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2025 dez. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf - A global approach to AECs
- Towards a good notion of categories of logics
- Remarks on propositional logics and the categorial relationship between institutions and Π-institutions
- Categorial forms of the axiom of choice
- κ-filter pairs and non-finitary logics
- Categorias modeláveis
- Representation theory of logics: a categorial approach
- Realizing profinite reduced special groups
- Algebraizable logics and a functorial encoding of its morphisms
- A festschrift for Francisco Miraglia. [Foreword]
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2965653.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
