An application of algebraic geometry tools to intuitionistic logic (2025)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; ANDRADE, MAYK ALVES DE - IME
- Unidade: IME
- Subjects: GEOMETRIA ALGÉBRICA; LÓGICA INTUICIONISTA
- Language: Inglês
- Imprenta:
- Publisher: Sociedade Brasileira de Lógica - SBL
- Publisher place: São Paulo
- Date published: 2025
- Source:
- Título: Book of abstracts
- Volume/Número/Paginação/Ano: p. 209-210, 2025
- Conference titles: Brazilian Logic Conference - EBL 2025
-
ABNT
ANDRADE, Mayk de e MARIANO, Hugo Luiz e AMODEY, Steven. An application of algebraic geometry tools to intuitionistic logic. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 209-210. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026. -
APA
Andrade, M. de, Mariano, H. L., & Amodey, S. (2025). An application of algebraic geometry tools to intuitionistic logic. In Book of abstracts (p. 209-210). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view -
NLM
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view -
Vancouver
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view - Realizing profinite reduced special groups
- Representation theory of logics: a categorial approach
- 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]
- 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
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3260139.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
