ReP USP - Resultado da busca

Artigo de periodico
On elementary equivalence of real semigroups of preordered rings (2025)
Miraglia Neto, Francisco ; Mariano, Hugo Luiz
Fonte: Logic Journal of the IGPL. Unidade: IME
Assunto: SEMIGRUPOS TOPOLÓGICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e MARIANO, Hugo Luiz. On elementary equivalence of real semigroups of preordered rings. Logic Journal of the IGPL, v. 33, n. 2, 2025Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzad028. Acesso em: 15 nov. 2025.
APA
Miraglia Neto, F., & Mariano, H. L. (2025). On elementary equivalence of real semigroups of preordered rings. Logic Journal of the IGPL, 33( 2). doi:10.1093/jigpal/jzad028
NLM
Miraglia Neto F, Mariano HL. On elementary equivalence of real semigroups of preordered rings [Internet]. Logic Journal of the IGPL. 2025 ; 33( 2):[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzad028
Vancouver
Miraglia Neto F, Mariano HL. On elementary equivalence of real semigroups of preordered rings [Internet]. Logic Journal of the IGPL. 2025 ; 33( 2):[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzad028
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
Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies (2017)
Stern, Julio Michael
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: FILOSOFIA DA CIÊNCIA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, v. 25, n. 4, p. 604-631, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx017. Acesso em: 15 nov. 2025.
APA
Stern, J. M. (2017). Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, 25( 4), 604-631. doi:10.1093/jigpal/jzx017
NLM
Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx017
Vancouver
Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx017
Artigo de periodico
A hybrid approach to learn with imbalanced classes using evolutionary algorithms (2011)
Milaré, Claudia Regina; Batista, Gustavo Enrique de Almeida Prado Alves; Carvalho, André Carlos Ponce de Leon Ferreira de
Fonte: Logic Journal of the IGPL. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MILARÉ, Claudia Regina e BATISTA, Gustavo Enrique de Almeida Prado Alves e CARVALHO, André Carlos Ponce de Leon Ferreira de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms. Logic Journal of the IGPL, v. 19, n. 2, p. 293-303, 2011Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq027. Acesso em: 15 nov. 2025.
APA
Milaré, C. R., Batista, G. E. de A. P. A., & Carvalho, A. C. P. de L. F. de. (2011). A hybrid approach to learn with imbalanced classes using evolutionary algorithms. Logic Journal of the IGPL, 19( 2), 293-303. doi:10.1093/jigpal/jzq027
NLM
Milaré CR, Batista GE de APA, Carvalho ACP de LF de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms [Internet]. Logic Journal of the IGPL. 2011 ; 19( 2): 293-303.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzq027
Vancouver
Milaré CR, Batista GE de APA, Carvalho ACP de LF de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms [Internet]. Logic Journal of the IGPL. 2011 ; 19( 2): 293-303.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzq027
Artigo de periodico
The unrestricted combination of temporal logic systems (2002)
Finger, Marcelo ; Weiss, Maria Angela
Fonte: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 15 nov. 2025.
APA
Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165
NLM
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Vancouver
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Artigo de periodico
Towards structurally-free theorem proving (1998)
Finger, Marcelo
Fonte: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998Tradução . . Disponível em: https://doi.org/10.1093/jigpal/6.3.425. Acesso em: 15 nov. 2025.
APA
Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425
NLM
Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
Vancouver
Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
Artigo de periodico
Parsing natural language using LDS: a prototype (1997)
Finger, Marcelo ; Kibble, Rodger; Gabbay, Dov M; Kempson, Ruth M
Fonte: Logic Journal of the IGPL. Unidade: IME
Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo et al. Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, v. 5, n. 5, p. 647-671, 1997Tradução . . Disponível em: https://doi.org/10.1093/jigpal/5.5.647. Acesso em: 15 nov. 2025.
APA
Finger, M., Kibble, R., Gabbay, D. M., & Kempson, R. M. (1997). Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, 5( 5), 647-671. doi:10.1093/jigpal/5.5.647
NLM
Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/5.5.647
Vancouver
Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/5.5.647

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Agência de fomento