ReP USP - Resultado da busca

Artigo de periodico
Horn filter pairs and Craig interpolation in propositional logic (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Boletin de Matematicas. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 02 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 jun. 02 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 jun. 02 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Artigo de periodico
Filter pairs and natural extensions of logics (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Archive for Mathematical Logic. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, RETICULADOS, ESTRUTURAS ALGÉBRICAS ORDENADAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Filter pairs and natural extensions of logics. Archive for Mathematical Logic, v. 62, n. 1-2, p. 113-145, 2023Tradução . . Disponível em: https://doi.org/10.1007/s00153-022-00834-6. Acesso em: 02 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Filter pairs and natural extensions of logics. Archive for Mathematical Logic, 62( 1-2), 113-145. doi:10.1007/s00153-022-00834-6
NLM
Arndt P, Mariano HL, Pinto DC. Filter pairs and natural extensions of logics [Internet]. Archive for Mathematical Logic. 2023 ; 62( 1-2): 113-145.[citado 2024 jun. 02 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Vancouver
Arndt P, Mariano HL, Pinto DC. Filter pairs and natural extensions of logics [Internet]. Archive for Mathematical Logic. 2023 ; 62( 1-2): 113-145.[citado 2024 jun. 02 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Artigo de periodico
Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications (2022)
Rios, Gabriel Bittencourt ; Souza, Daniel de Almeida; Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 02 jun. 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 jun. 02 ] 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 jun. 02 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2019)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel Gomes da
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 jun. 2024.
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2019). Beyond the categorial forms of the axiom of choice. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-anais periodico
More on categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel G. da
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. More on categorial forms of the axiom of choice. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%Silva-SAJL.pdf. Acesso em: 02 jun. 2024. , 2018
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2018). More on categorial forms of the axiom of choice. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%Silva-SAJL.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 jun. 02 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%Silva-SAJL.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 jun. 02 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%Silva-SAJL.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael; Pinto, Darllan Conceição; Silva, Samuel Gomes da; Mariano, Hugo Luiz
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 02 jun. 2024.
APA
Brunner, A. B. M., Pinto, D. C., Silva, S. G. da, & Mariano, H. L. (2018). Beyond the categorial forms of the axiom of choice. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
Filter pairs: a new way of presenting logics (2018)
Arndt, Peter; Jansana, Ramon; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. Filter pairs: a new way of presenting logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 02 jun. 2024.
APA
Arndt, P., Jansana, R., Mariano, H. L., & Pinto, D. C. (2018). Filter pairs: a new way of presenting logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-anais periodico
Finitary filter pairs and propositional logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf. Acesso em: 02 jun. 2024. , 2018
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 jun. 02 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 jun. 02 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Trabalho de evento-resumo
κ-filter pairs and non-finitary logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. κ-filter pairs and non-finitary logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 02 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). κ-filter pairs and non-finitary logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Artigo de periodico
Algebraizable logics and a functorial encoding of its morphisms (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, LÓGICA ALGÉBRICA, ÁLGEBRA HOMOLÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 02 jun. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 jun. 02 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 jun. 02 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Artigo de periodico
Remarks on propositional logics and the categorial relationship between institutions and Π-institutions (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: South American Journal of Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 02 jun. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
NLM
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 jun. 02 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Vancouver
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 jun. 02 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Tese (Doutorado)
A categorial foundation for a representation theory of logics (2016)
Pinto, Darllan Conceição; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Subjects: LÓGICA MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição. A categorial foundation for a representation theory of logics. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/. Acesso em: 02 jun. 2024.
APA
Pinto, D. C. (2016). A categorial foundation for a representation theory of logics (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/
NLM
Pinto DC. A categorial foundation for a representation theory of logics [Internet]. 2016 ;[citado 2024 jun. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/
Vancouver
Pinto DC. A categorial foundation for a representation theory of logics [Internet]. 2016 ;[citado 2024 jun. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/
Trabalho de evento-resumo
Algebraizable logics and a functorial encoding of its morphisms (2015)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 5th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 02 jun. 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 jun. 02 ] 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 jun. 02 ] Available from: https://www.uni-log.org/start5.html
Trabalho de evento-resumo
Representation theory of logics: a categorial approach (2013)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 02 jun. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2013). Representation theory of logics: a categorial approach. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 jun. 02 ] Available from: https://www.uni-log.org/start4.html

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Source title

Countries/Territories

Funding Agencies

Non normalized affiliation