ReP USP - Resultado da busca

Artigo de periodico
Proving properties of binary classification neural networks via Łukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Fonte: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, v. 31, n. 5, p. 805-821, 2023Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 15 nov. 2025.
APA
Preto, S., & Finger, M. (2023). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, 31( 5), 805-821. doi:10.1093/jigpal/jzac050
NLM
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Vancouver
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Artigo de periodico
Algebraizable logics and a functorial encoding of its morphisms (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: 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: 15 nov. 2025.
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 2025 nov. 15 ] 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 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Artigo de periodico
AGM-like paraconsistent belief change (2017)
Testa, Rafael Rodrigues; Coniglio, Marcelo Esteban; Ribeiro, Marcio Moretto
Fonte: Logic Journal of the IGPL. Unidade: EACH
Assuntos: LÓGICA MATEMÁTICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TESTA, Rafael Rodrigues e CONIGLIO, Marcelo Esteban e RIBEIRO, Marcio Moretto. AGM-like paraconsistent belief change. Logic Journal of the IGPL, v. 25, n. 4, p. 632-672, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx010. Acesso em: 15 nov. 2025.
APA
Testa, R. R., Coniglio, M. E., & Ribeiro, M. M. (2017). AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25( 4), 632-672. doi:10.1093/jigpal/jzx010
NLM
Testa RR, Coniglio ME, Ribeiro MM. AGM-like paraconsistent belief change [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 632-672.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx010
Vancouver
Testa RR, Coniglio ME, Ribeiro MM. AGM-like paraconsistent belief change [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 632-672.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx010
Artigo de periodico
Completeness for cut-based abduction (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Fonte: Logic Journal of the IGPL. Nome do evento: 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
ARRUDA, Alexandre Matos e FINGER, Marcelo. Completeness for cut-based abduction. Logic Journal of the IGPL, v. 22, n. 2, p. 286-296, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt028. Acesso em: 15 nov. 2025.
APA
Arruda, A. M., & Finger, M. (2014). Completeness for cut-based abduction. Logic Journal of the IGPL, 22( 2), 286-296. doi:10.1093/jigpal/jzt028
NLM
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Vancouver
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Artigo de periodico
Labelled natural deduction for substructural logics (1999)
Broda, Krysia; Finger, Marcelo ; Russo, Alessandra
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRODA, Krysia e FINGER, Marcelo e RUSSO, Alessandra. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999Tradução . . Disponível em: https://doi.org/10.1093/jigpal/7.3.283. Acesso em: 15 nov. 2025.
APA
Broda, K., Finger, M., & Russo, A. (1999). Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7( 3), 283-318. doi:10.1093/jigpal/7.3.283
NLM
Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
Vancouver
Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/7.3.283

Unidades USP

ReP

Filtros

Autores