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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-anais periodico
The von Neumann-regular hull of (preordered) rings and quadratic forms (2016)
Arndt, Peter; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz. The von Neumann-regular hull of (preordered) rings and quadratic forms. 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-v2-i2/04-Arndt-Mariano-SAJL.pdf. Acesso em: 03 nov. 2024. , 2016
APA
Arndt, P., & Mariano, H. L. (2016). The von Neumann-regular hull of (preordered) rings and quadratic forms. 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-v2-i2/04-Arndt-Mariano-SAJL.pdf
NLM
Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 nov. 03 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
Vancouver
Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 nov. 03 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
Artigo de periodico
A global glance on categories in logic (2007)
Arndt, Peter ; Freire, Rodrigo de Alvarenga; Luciano, Odilon Otavio; Mariano, Hugo Luiz
Source: Logica Universalis. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. A global glance on categories in logic. Logica Universalis, v. 1, n. 1, p. 3-39, 2007Tradução . . Disponível em: https://doi.org/10.1007/s11787-006-0002-7. Acesso em: 03 nov. 2024.
APA
Arndt, P., Freire, R. de A., Luciano, O. O., & Mariano, H. L. (2007). A global glance on categories in logic. Logica Universalis, 1( 1), 3-39. doi:10.1007/s11787-006-0002-7
NLM
Arndt P, Freire R de A, Luciano OO, Mariano HL. A global glance on categories in logic [Internet]. Logica Universalis. 2007 ; 1( 1): 3-39.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1007/s11787-006-0002-7
Vancouver
Arndt P, Freire R de A, Luciano OO, Mariano HL. A global glance on categories in logic [Internet]. Logica Universalis. 2007 ; 1( 1): 3-39.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1007/s11787-006-0002-7
Artigo de periodico
On the category of algebraizable logics (2006)
Arndt, Peter ; Freire, R. A.; Luciano, Odilon Otavio; Mariano, Hugo Luiz
Source: CLE E-Prints. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. On the category of algebraizable logics. CLE E-Prints, v. 6, n. 1, p. 1-24, 2006Tradução . . Disponível em: https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149. Acesso em: 03 nov. 2024.
APA
Arndt, P., Freire, R. A., Luciano, O. O., & Mariano, H. L. (2006). On the category of algebraizable logics. CLE E-Prints, 6( 1), 1-24. Recuperado de https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149
NLM
Arndt P, Freire RA, Luciano OO, Mariano HL. On the category of algebraizable logics [Internet]. CLE E-Prints. 2006 ; 6( 1): 1-24.[citado 2024 nov. 03 ] Available from: https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149
Vancouver
Arndt P, Freire RA, Luciano OO, Mariano HL. On the category of algebraizable logics [Internet]. CLE E-Prints. 2006 ; 6( 1): 1-24.[citado 2024 nov. 03 ] Available from: https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149
Artigo de periodico
Fibring and sheaves (2005)
Arndt, Peter ; Freire, R. A; Luciano, Odilon Otavio; Mariano, Hugo Luiz
Source: CLE e-Prints. 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 et al. Fibring and sheaves. CLE e-Prints, v. 5, n. 10, p. 1-20, 2005Tradução . . Disponível em: https://doi.org/10.13140/2.1.4385.6326. Acesso em: 03 nov. 2024.
APA
Arndt, P., Freire, R. A., Luciano, O. O., & Mariano, H. L. (2005). Fibring and sheaves. CLE e-Prints, 5( 10), 1-20. doi:10.13140/2.1.4385.6326
NLM
Arndt P, Freire RA, Luciano OO, Mariano HL. Fibring and sheaves [Internet]. CLE e-Prints. 2005 ; 5( 10): 1-20.[citado 2024 nov. 03 ] Available from: https://doi.org/10.13140/2.1.4385.6326
Vancouver
Arndt P, Freire RA, Luciano OO, Mariano HL. Fibring and sheaves [Internet]. CLE e-Prints. 2005 ; 5( 10): 1-20.[citado 2024 nov. 03 ] Available from: https://doi.org/10.13140/2.1.4385.6326

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Source title

Non normalized affiliation