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: 29 maio 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 maio 29 ] 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 maio 29 ] 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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Trabalho de evento-resumo
Algebraizing higher-order logics (2019)
Mendes, Caio; Mariano, Hugo Luiz
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
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 29 maio 2024.
APA
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Alguns apontamentos sobre multi-álgebra universal (2019)
Roberto, Kaique; Mariano, Hugo Luiz
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
ROBERTO, Kaique e MARIANO, Hugo Luiz. Alguns apontamentos sobre multi-álgebra universal. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 29 maio 2024.
APA
Roberto, K., & Mariano, H. L. (2019). Alguns apontamentos sobre multi-álgebra universal. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
Extension of inverse q-Fourier transform via conformal mapping (2019)
Nakamura, Gilberto Medeiros ; Martini, Alexandre Henrique de; Martinez, Alexandre Souto
Source: Physica A: Statistical Mechanics and its Applications. Unidade: FFCLRP
Subjects: SISTEMAS DE AGENTES DE SOFTWARE, LÓGICA ALGÉBRICA, LOGARITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAMURA, Gilberto Medeiros e MARTINI, Alexandre Henrique de e MARTINEZ, Alexandre Souto. Extension of inverse q-Fourier transform via conformal mapping. Physica A: Statistical Mechanics and its Applications, v. 524, p. 106-111, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.physa.2019.03.016. Acesso em: 29 maio 2024.
APA
Nakamura, G. M., Martini, A. H. de, & Martinez, A. S. (2019). Extension of inverse q-Fourier transform via conformal mapping. Physica A: Statistical Mechanics and its Applications, 524, 106-111. doi:10.1016/j.physa.2019.03.016
NLM
Nakamura GM, Martini AH de, Martinez AS. Extension of inverse q-Fourier transform via conformal mapping [Internet]. Physica A: Statistical Mechanics and its Applications. 2019 ; 524 106-111.[citado 2024 maio 29 ] Available from: https://doi.org/10.1016/j.physa.2019.03.016
Vancouver
Nakamura GM, Martini AH de, Martinez AS. Extension of inverse q-Fourier transform via conformal mapping [Internet]. Physica A: Statistical Mechanics and its Applications. 2019 ; 524 106-111.[citado 2024 maio 29 ] Available from: https://doi.org/10.1016/j.physa.2019.03.016
Parte de monografia/livro
Reconciling first-order logic to algebra (2018)
Carnielli, Walter Alexandre ; Mariano, Hugo Luiz ; Matulovic, Mariana
Source: Contradictions, from consistency to inconsistency. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARNIELLI, Walter Alexandre e MARIANO, Hugo Luiz e MATULOVIC, Mariana. Reconciling first-order logic to algebra. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_13. Acesso em: 29 maio 2024.
APA
Carnielli, W. A., Mariano, H. L., & Matulovic, M. (2018). Reconciling first-order logic to algebra. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_13
NLM
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 29 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13
Vancouver
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 29 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13
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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Artigo de periodico
Algebraizable logics and a functorial encoding of its morphisms (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: 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: 29 maio 2024.
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 2024 maio 29 ] 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 2024 maio 29 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Tese (Doutorado)
Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos (2013)
Venancio, Rafael Duarte Oliveira; Soares, Rosana de Lima (Orientador)
Unidade: ECA
Subjects: RÁDIO (MEIO DE COMUNICAÇÃO), LINGUAGEM DE RÁDIO, TEORIA DOS JOGOS, LÓGICA ALGÉBRICA, FILOSOFIA ANALÍTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VENANCIO, Rafael Duarte Oliveira. Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/. Acesso em: 29 maio 2024.
APA
Venancio, R. D. O. (2013). Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/
NLM
Venancio RDO. Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos [Internet]. 2013 ;[citado 2024 maio 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/
Vancouver
Venancio RDO. Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos [Internet]. 2013 ;[citado 2024 maio 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/
Dissertação (Mestrado)
Multiplicadores algébricos de validade lógica (2010)
Hernandes, Mauricio Simões Camilo; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: LÓGICA ALGÉBRICA, INVARIANTES, LÓGICA DE PRIMEIRA ORDEM, ÁLGEBRAS DE BOOLE, SEMÂNTICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERNANDES, Mauricio Simões Camilo. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/. Acesso em: 29 maio 2024.
APA
Hernandes, M. S. C. (2010). Multiplicadores algébricos de validade lógica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
NLM
Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 maio 29 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
Vancouver
Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 maio 29 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: https://doi.org/10.13140/2.1.4385.6326
Trabalho de evento
The downward Lowenheim-Skolem theorem for L-structures in Ω-sets (1988)
Miraglia Neto, Francisco
Source: Methods and applications of mathematical logic. Conference titles: Latin American Symposium of Mathematical Logic. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS, LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. 1988, Anais.. Providence: Ams, 1988. Disponível em: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf. Acesso em: 29 maio 2024.
APA
Miraglia Neto, F. (1988). The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. In Methods and applications of mathematical logic. Providence: Ams. Recuperado de https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
NLM
Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 maio 29 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Vancouver
Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 maio 29 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Dissertação (Mestrado)
Completamento e decidibilidade (1972)
Leme, Brasil Terra; Teixeira, Mario Tourasse (Orientador)
Unidade: ICMC
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LEME, Brasil Terra. Completamento e decidibilidade. 1972. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1972. . Acesso em: 29 maio 2024.
APA
Leme, B. T. (1972). Completamento e decidibilidade (Dissertação (Mestrado). Universidade de São Paulo, São Carlos.
NLM
Leme BT. Completamento e decidibilidade. 1972 ;[citado 2024 maio 29 ]
Vancouver
Leme BT. Completamento e decidibilidade. 1972 ;[citado 2024 maio 29 ]

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation