Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications (2022)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; RIOS, GABRIEL BITTENCOURT - IME ; SOUZA, DANIEL DE ALMEIDA - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Keywords: (π-)institutions; abstract logics; adjunctions
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Journal of Applied Logics — IFCoLog Journal of Logics and their Applications
- ISSN: 2631-9810
- Volume/Número/Paginação/Ano: v. 9, n. 1, p. 445-494, 2022
-
ABNT
RIOS, Gabriel Bittencourt et al. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications, v. 9, n. 1, p. 445-494, 2022Tradução . . Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 28 mar. 2024. -
APA
Rios, G. B., Souza, D. de A., Pinto, D. C., & Mariano, H. L. (2022). Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications, 9( 1), 445-494. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf -
NLM
Rios GB, Souza D de A, Pinto DC, Mariano HL. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications [Internet]. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 445-494.[citado 2024 mar. 28 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf -
Vancouver
Rios GB, Souza D de A, Pinto DC, Mariano HL. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications [Internet]. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 445-494.[citado 2024 mar. 28 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf - Motivic cohomology, Milnor K-theory, and Galois cohomology
- 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
- κ-filter pairs and non-finitary logics
- Categorial forms of the axiom of choice
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas