Algebraizing higher-order logics (2019)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; MENDES, CAIO DE ANDRADE - 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
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 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
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
NLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2025 dez. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
Vancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2025 dez. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf - Analyzing categories of signatures
- Towards a good notion of categories of logics
- Analysing categories of signatures
- Sheaves on quantales and their truth values
- On categories of quantale valued sets
- Categorical constructions of sets valued on semicartesian and involutive quantales
- Categories of commutative semicartesian quantales valued sets
- Quantale valued sets: categorical constructions and properties
- On sheaves on semicartesian quantales and their truth values
- A global approach to AECs
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2965704.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
