Representation theory of logics: a categorial approach (2014)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Book of Abstracts
- Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)
-
ABNT
PINTO, Darllan C e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 18 set. 2024. -
APA
Pinto, D. C., & Mariano, H. L. (2014). Representation theory of logics: a categorial approach. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf -
NLM
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 set. 18 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf -
Vancouver
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 set. 18 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.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
- 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
- A Galois group functor for the category of special groups
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas