An abstract approach to algebraizable logics with quantifiers (2018)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Language: Inglês
- Imprenta:
- Publisher: Vichy University
- Publisher place: Vichy
- Date published: 2018
- Source:
- Título: Handbook of abstracts
- Conference titles: World Congress and School on Universal Logic
-
ABNT
MENDES, Caio de Andrade e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 29 jan. 2026. -
APA
Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357 -
NLM
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2026 jan. 29 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357 -
Vancouver
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2026 jan. 29 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357 - On profinite structures
- Categorial forms of the axiom of choice
- Expansions of Galois theory in algebra: infinity Galois theory and applications
- Proceedings of the XVIII Brazilian Logic Conference. [Preface]
- Contribuições à teoria dos grupos especiais
- Algebraizable logics and a functorial encoding of its morphisms
- A global approach to AECs
- Towards a good notion of categories of logics
- Categorias modeláveis
- Realizing profinite reduced special groups
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2890877.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
