ReP USP - Resultado da busca

Artigo de periodico
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2025)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Logic and Computation. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, v. 35, n. 5, p. 1-15, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 09 jul. 2025.
APA
Finger, M., & Preto, S. (2025). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 35( 5), 1-15. doi:10.1093/logcom/exad059
NLM
Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-15.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exad059
Vancouver
Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-15.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exad059
Artigo de periodico
Nash meets Łukasiewicz: computing equilibria through logic (2025)
Preto, Sandro ; Finger, Marcelo
Source: Journal of Logic and Computation. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DOS JOGOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Nash meets Łukasiewicz: computing equilibria through logic. Journal of Logic and Computation, v. 35, n. 4, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae073. Acesso em: 09 jul. 2025.
APA
Preto, S., & Finger, M. (2025). Nash meets Łukasiewicz: computing equilibria through logic. Journal of Logic and Computation, 35( 4). doi:10.1093/logcom/exae073
NLM
Preto S, Finger M. Nash meets Łukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exae073
Vancouver
Preto S, Finger M. Nash meets Łukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exae073
Artigo de periodico
On sheaves on semicartesian quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade; Mariano, Hugo Luiz
Source: Journal of Logic and Computation. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, COHOMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, v. 35, n. 5, p. 1-32, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad081. Acesso em: 09 jul. 2025.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, 35( 5), 1-32. doi:10.1093/logcom/exad081
NLM
Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-32.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exad081
Vancouver
Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-32.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exad081
Artigo de periodico
Congruence filter pairs, equational filter pairs and adjoints (2025)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Journal of Logic and Computation. 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. Congruence filter pairs, equational filter pairs and adjoints. Journal of Logic and Computation, v. 35, n. 5, p. 1-31, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae002. Acesso em: 09 jul. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Congruence filter pairs, equational filter pairs and adjoints. Journal of Logic and Computation, 35( 5), 1-31. doi:10.1093/logcom/exae002
NLM
Arndt P, Mariano HL, Pinto DC. Congruence filter pairs, equational filter pairs and adjoints [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-31.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exae002
Vancouver
Arndt P, Mariano HL, Pinto DC. Congruence filter pairs, equational filter pairs and adjoints [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-31.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exae002
Artigo de periodico
Unfriendly partitions when avoiding vertices of finite degree (2025)
Aurichi, Leandro Fiorini ; Real, Lucas Silva Sinzato
Source: Journal of Logic and Computation. Unidade: ICMC
Subjects: TEORIA DOS GRAFOS, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AURICHI, Leandro Fiorini e REAL, Lucas Silva Sinzato. Unfriendly partitions when avoiding vertices of finite degree. Journal of Logic and Computation, v. 35, n. 5, p. 1-8, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad070. Acesso em: 09 jul. 2025.
APA
Aurichi, L. F., & Real, L. S. S. (2025). Unfriendly partitions when avoiding vertices of finite degree. Journal of Logic and Computation, 35( 5), 1-8. doi:10.1093/logcom/exad070
NLM
Aurichi LF, Real LSS. Unfriendly partitions when avoiding vertices of finite degree [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-8.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exad070
Vancouver
Aurichi LF, Real LSS. Unfriendly partitions when avoiding vertices of finite degree [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-8.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exad070
Trabalho de evento-anais periodico
Analytic methods for the logic of proofs (2010)
Finger, Marcelo
Source: Journal of Logic and Computation. Conference titles: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 09 jul. 2025. , 2010
APA
Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065
NLM
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exn065
Vancouver
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exn065
Artigo de periodico
Base revision for ontology debugging (2009)
Ribeiro, Márcio Moretto ; Wassermann, Renata
Source: Journal of Logic and Computation. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Márcio Moretto e WASSERMANN, Renata. Base revision for ontology debugging. Journal of Logic and Computation, v. 19, n. 5, p. 721-743, 2009Tradução . . Disponível em: https://doi.org/10.1093/logcom/exn048. Acesso em: 09 jul. 2025.
APA
Ribeiro, M. M., & Wassermann, R. (2009). Base revision for ontology debugging. Journal of Logic and Computation, 19( 5), 721-743. doi:10.1093/logcom/exn048
NLM
Ribeiro MM, Wassermann R. Base revision for ontology debugging [Internet]. Journal of Logic and Computation. 2009 ; 19( 5): 721-743.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exn048
Vancouver
Ribeiro MM, Wassermann R. Base revision for ontology debugging [Internet]. Journal of Logic and Computation. 2009 ; 19( 5): 721-743.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exn048
Artigo de periodico
Anytime approximations of classical logic from above (2007)
Finger, Marcelo ; Wassermann, Renata
Source: Journal of Logic and Computation. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Anytime approximations of classical logic from above. Journal of Logic and Computation, v. 17, n. 1, p. 53-82, 2007Tradução . . Disponível em: https://doi.org/10.1093/logcom/exl018. Acesso em: 09 jul. 2025.
APA
Finger, M., & Wassermann, R. (2007). Anytime approximations of classical logic from above. Journal of Logic and Computation, 17( 1), 53-82. doi:10.1093/logcom/exl018
NLM
Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exl018
Vancouver
Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2025 jul. 09 ] Available from: https://doi.org/10.1093/logcom/exl018

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Funding Agencies