Algebraizable logics and a functorial encoding of its morphisms (2017)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; PINTO, DARLLAN CONCEIÇÃO - IME
- Unidade: IME
- DOI: 10.1093/jigpal/jzx014
- Subjects: LÓGICA MATEMÁTICA; FUNDAMENTOS DA MATEMÁTICA; LÓGICA ALGÉBRICA; ÁLGEBRA HOMOLÓGICA
- Keywords: Algebraizable logics; categories
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Logic Journal of the IGPL
- ISSN: 1367-0751
- Volume/Número/Paginação/Ano: v. 25, n. 4, p. 524-561, 2017
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 28 set. 2024. -
APA
Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014 -
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 set. 28 ] Available from: https://doi.org/10.1093/jigpal/jzx014 -
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 set. 28 ] Available from: https://doi.org/10.1093/jigpal/jzx014 - Representation theory of logics: a categorial approach
- A categorial foundation for a representation theory of logics
- 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
- Expansions of Galois theory in algebra: infinity Galois theory and applications
- On profinite structures
- Proceedings of the XVIII Brazilian Logic Conference. [Preface]
Informações sobre o DOI: 10.1093/jigpal/jzx014 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2855809.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas