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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1093/logcom/exad059
Artigo de periodico
Nash meets Lukasiewicz: 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 Lukasiewicz: 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: 08 out. 2025.
APA
Preto, S., & Finger, M. (2025). Nash meets Lukasiewicz: computing equilibria through logic. Journal of Logic and Computation, 35( 4). doi:10.1093/logcom/exae073
NLM
Preto S, Finger M. Nash meets Lukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exae073
Vancouver
Preto S, Finger M. Nash meets Lukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exae073
Artigo de periodico
Tight-minimal dichotomies in Banach spaces (2025)
Cáceres-Rigo, Alejandra C. ; Ferenczi, Valentin
Source: Studia Mathematica. Unidade: IME
Subjects: ANÁLISE FUNCIONAL, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÁCERES-RIGO, Alejandra C. e FERENCZI, Valentin. Tight-minimal dichotomies in Banach spaces. Studia Mathematica, v. 281, n. 3, p. 227-273, 2025Tradução . . Disponível em: https://doi.org/10.4064/sm231219-14-1. Acesso em: 08 out. 2025.
APA
Cáceres-Rigo, A. C., & Ferenczi, V. (2025). Tight-minimal dichotomies in Banach spaces. Studia Mathematica, 281( 3), 227-273. doi:10.4064/sm231219-14-1
NLM
Cáceres-Rigo AC, Ferenczi V. Tight-minimal dichotomies in Banach spaces [Internet]. Studia Mathematica. 2025 ; 281( 3): 227-273.[citado 2025 out. 08 ] Available from: https://doi.org/10.4064/sm231219-14-1
Vancouver
Cáceres-Rigo AC, Ferenczi V. Tight-minimal dichotomies in Banach spaces [Internet]. Studia Mathematica. 2025 ; 281( 3): 227-273.[citado 2025 out. 08 ] Available from: https://doi.org/10.4064/sm231219-14-1
Trabalho de evento-anais periodico
(In)consistency operators on quasi-Nelson algebras (2024)
Rivieccio, Umberto; Orellano, Aldo Figallo
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: LÓGICA PARACONSISTENTE, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIVIECCIO, Umberto e ORELLANO, Aldo Figallo. (In)consistency operators on quasi-Nelson algebras. Proceedings. [S.l.]: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-031-62687-6_12. Acesso em: 08 out. 2025. , 2024
APA
Rivieccio, U., & Orellano, A. F. (2024). (In)consistency operators on quasi-Nelson algebras. Proceedings. Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/978-3-031-62687-6_12
NLM
Rivieccio U, Orellano AF. (In)consistency operators on quasi-Nelson algebras [Internet]. Proceedings. 2024 ; 175-192.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/978-3-031-62687-6_12
Vancouver
Rivieccio U, Orellano AF. (In)consistency operators on quasi-Nelson algebras [Internet]. Proceedings. 2024 ; 175-192.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/978-3-031-62687-6_12
Trabalho de evento
Logical approximation and formal verification of neural networks (2024)
Pevidor, João Felipe Lobo; Preto, Sandro ; Finger, Marcelo
Source: Anais. Conference titles: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEVIDOR, João Felipe Lobo e PRETO, Sandro e FINGER, Marcelo. Logical approximation and formal verification of neural networks. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/wbl.2024.2347. Acesso em: 08 out. 2025.
APA
Pevidor, J. F. L., Preto, S., & Finger, M. (2024). Logical approximation and formal verification of neural networks. In Anais. Porto Alegre: SBC. doi:10.5753/wbl.2024.2347
NLM
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/wbl.2024.2347
Vancouver
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/wbl.2024.2347
Artigo de periodico
Dynamic oppositional symmetries for color, Jungian and Kantian categories (2024)
Stern, Julio Michael
Source: Logica Universalis. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, ESTATÍSTICA, PSICOLOGIA JUNGUIANA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Dynamic oppositional symmetries for color, Jungian and Kantian categories. Logica Universalis, v. 18, n. 1-2, p. 235-282, 2024Tradução . . Disponível em: https://doi.org/10.1007/s11787-023-00342-y. Acesso em: 08 out. 2025.
APA
Stern, J. M. (2024). Dynamic oppositional symmetries for color, Jungian and Kantian categories. Logica Universalis, 18( 1-2), 235-282. doi:10.1007/s11787-023-00342-y
NLM
Stern JM. Dynamic oppositional symmetries for color, Jungian and Kantian categories [Internet]. Logica Universalis. 2024 ; 18( 1-2): 235-282.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s11787-023-00342-y
Vancouver
Stern JM. Dynamic oppositional symmetries for color, Jungian and Kantian categories [Internet]. Logica Universalis. 2024 ; 18( 1-2): 235-282.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s11787-023-00342-y
Artigo de periodico
Proving properties of binary classification neural networks via Łukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Source: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Artigo de periodico
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (2022)
Preto, Sandro ; Finger, Marcelo
Source: Mathematical Structures in Computer Science. 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. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, v. 32, n. 9, p. 1119-1144, 2022Tradução . . Disponível em: https://doi.org/10.1017/S096012952200010X. Acesso em: 08 out. 2025.
APA
Preto, S., & Finger, M. (2022). Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, 32( 9), 1119-1144. doi:10.1017/S096012952200010X
NLM
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2025 out. 08 ] Available from: https://doi.org/10.1017/S096012952200010X
Vancouver
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2025 out. 08 ] Available from: https://doi.org/10.1017/S096012952200010X
Trabalho de evento-anais periodico
Repairing ontologies via kernel pseudo-contraction (2022)
Matos, Vinícius Bitencourt ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt e WASSERMANN, Renata. Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3197/paper2.pdf. Acesso em: 08 out. 2025. , 2022
APA
Matos, V. B., & Wassermann, R. (2022). Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3197/paper2.pdf
NLM
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2025 out. 08 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Vancouver
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2025 out. 08 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 08 out. 2025. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Artigo de periodico
Equal rights for the cut: computable non-analytic cuts in cut-based proofs (2007)
Finger, Marcelo ; Gabbay, Dov
Source: Logic Journal of 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
FINGER, Marcelo e GABBAY, Dov. Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, v. 15, n. 5-6, p. 553-575, 2007Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzm040. Acesso em: 08 out. 2025.
APA
Finger, M., & Gabbay, D. (2007). Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, 15( 5-6), 553-575. doi:10.1093/jigpal/jzm040
NLM
Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzm040
Vancouver
Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzm040
Artigo de periodico
Cut and Pay (2006)
Finger, Marcelo ; Gabbay, Dov
Source: Journal of Logic, Language and Information. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Cut and Pay. Journal of Logic, Language and Information, v. 15, p. 195-218, 2006Tradução . . Disponível em: https://doi.org/10.1007/s10849-005-9001-y. Acesso em: 08 out. 2025.
APA
Finger, M., & Gabbay, D. (2006). Cut and Pay. Journal of Logic, Language and Information, 15, 195-218. doi:10.1007/s10849-005-9001-y
NLM
Finger M, Gabbay D. Cut and Pay [Internet]. Journal of Logic, Language and Information. 2006 ; 15 195-218.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-005-9001-y
Vancouver
Finger M, Gabbay D. Cut and Pay [Internet]. Journal of Logic, Language and Information. 2006 ; 15 195-218.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-005-9001-y
Artigo de periodico
Sur le schéma de la séparation (1970)
Arruda, Ayda I; Costa, Newton Carneiro Affonso da
Source: Nagoya Mathematical Journal. Unidade: RUSP
Subjects: SISTEMAS LÓGICOS NÃO CLÁSSICOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Ayda I e COSTA, Newton Carneiro Affonso da. Sur le schéma de la séparation. Nagoya Mathematical Journal, 1970Tradução . . Disponível em: https://www.cambridge.org/core/journals/nagoya-mathematical-journal/article/sur-le-schema-de-la-separation/1747F60443CA0FB310450583965CE62C. Acesso em: 08 out. 2025.
APA
Arruda, A. I., & Costa, N. C. A. da. (1970). Sur le schéma de la séparation. Nagoya Mathematical Journal. doi:10.1017/S0027763000013532
NLM
Arruda AI, Costa NCA da. Sur le schéma de la séparation [Internet]. Nagoya Mathematical Journal. 1970 ;[citado 2025 out. 08 ] Available from: https://www.cambridge.org/core/journals/nagoya-mathematical-journal/article/sur-le-schema-de-la-separation/1747F60443CA0FB310450583965CE62C
Vancouver
Arruda AI, Costa NCA da. Sur le schéma de la séparation [Internet]. Nagoya Mathematical Journal. 1970 ;[citado 2025 out. 08 ] Available from: https://www.cambridge.org/core/journals/nagoya-mathematical-journal/article/sur-le-schema-de-la-separation/1747F60443CA0FB310450583965CE62C

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Countries/Territories

Non normalized affiliation