Algebraizable logics and a functorial encoding of its morphisms (2015)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Language: Inglês
- Imprenta:
- Publisher: Turkish Logic Society
- Publisher place: Istanbul
- Date published: 2015
- Source:
- Título do periódico: Handbook of the 5th World Congress and School on Universal Logic
- Conference titles: World Congress and School on Universal Logic
-
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. 2015, Anais.. Istanbul: Turkish Logic Society, 2015. Disponível em: https://www.uni-log.org/start5.html. Acesso em: 19 abr. 2024. -
APA
Pinto, D. C., & Mariano, H. L. (2015). Algebraizable logics and a functorial encoding of its morphisms. In Handbook of the 5th World Congress and School on Universal Logic. Istanbul: Turkish Logic Society. Recuperado de https://www.uni-log.org/start5.html -
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/start5.html -
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/start5.html - Expansions of Galois theory in algebra: infinity Galois theory and applications
- On profinite structures
- Proceedings of the XVIII Brazilian Logic Conference. [Preface]
- Filter pairs and natural extensions of logics
- A Galois group functor for the category of special groups
- Finitary filter pairs and propositional 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
