Juliana Bueno

Graduada e licenciada em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2000), com mestrado em Filosofia pela Universidade Estadual de Campinas (2004) e doutorado em Filosofia pela Universidade Estadual de Campinas (2009). Tem experiência nas áreas de Matemática e Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: algebrização, lógicas paraconsistentes, fundamentos de probabilidades, lógicas multimodais, semânticas de traduções possíveis e teoria das categorias. É membro do corpo de pesquisadores do Projeto Temático "Logical Consequence, Reasoning and Computation - LogCons" (Centro de Lógica,, Epistemologia e Historia da Ciencia -CLE- UNICAMP). e Pesquisador Associada do CLE-UNICAMP. Atualmente é Professora Adjunta concursada na área de Estatística e Cálculo Diferencial e Integral junto à Universidade Estadual de Campinas- UNICAMP (Faculdade de Tecnologia), Campus Limeira.

Informações coletadas do Lattes em 01/12/2025

Acadêmico

Formação acadêmica

Doutorado em Filosofia

2005 - 2009

Universidade Estadual de Campinas
Título: Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo
, Ano de obtenção: 2009. Itala Maria Loffredo D'Ottaviano. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: lógicas paraconsistentes; semânticas de traduções possíveis; Lógica Modal; Lógica Multimodal; Lógica Positiva.Grande área: Ciências Humanas

Mestrado em Filosofia

2002 - 2004

Universidade Estadual de Campinas
Título: Semântica Algébrica de Traduções Possíveis
, Ano de Obtenção: 2004.Marcelo E. Coniglio.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: algebrização; lógicas paraconsistentes; semânticas de traduções possíveis; Teoria das categorias.Grande área: Ciências HumanasGrande Área: Ciências Exatas e da Terra / Área: Matemática. Setores de atividade: Educação Média de Formação Técnica Ou Profissional; Educação Média de Formação Geral; Educação Superior.

Graduação em Licenciatura em Matemática

1997 - 2000

Universidade Estadual Paulista Júlio de Mesquita Filho
Título: "A aritmética e a Indecidibilidade" (Iniciação Científica em Lógica)
Orientador: Hércules de Araujo Feitosa
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Pós-doutorado

2009 - 2011

Pós-Doutorado. , Universidade de São Paulo, USP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Ciências Humanas, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação. , Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Combinação de Lógicas.

Formação complementar

2011 - 2011

Extensão universitária em Novas Tecnologias e Metodologias para a Educação. (Carga horária: 90h). , Universidade Federal do ABC, UFABC, Brasil.

2009 - 2009

Formação em tutoria (Ensino a Distância). (Carga horária: 120h). , Universidade Aberta do Brasil da Universidade Federal de São Carlos, UAB-UFSCAR, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Italiano

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Combinação de Lógicas.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Algébrica.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Modais e Multimodais.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógicas não-clássicas.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Semântica Formal.

Organização de eventos

Rodrigues, A. ; CARNIELLI, WALTER ; Coniglio, Marcelo E. ; BERTATO, F. ; D'Ottaviano, I. M. L. ; Bueno-Soler, Juliana ; BIRABEN, R. E. ; RUFFINO, M. ; GOMES, E. L. ; CAVASSANE, R. P. ; ABRAHAO, F. S. ; ARROYO, R. W. . São Paulo Scool of Advanced Science in Contemporary Logic, Rationality and Information. Newton da Costa's 90th birthday and beyond CLE 45 years. 2023. (Outro).

Bueno-Soler, Juliana ; Coniglio, M. E. ; CARNIELLI, W. ; BEZERRA, Edson Vinicius ; GOLZIO, Ana Cláudia ; BARRIO, Eduardo . Fourth workshop CLE-Buenos Aires Logic Group. 2018. (Outro).

BUENO, J. ; Bueno-Soler, Juliana . 6th World Congress and School on Universal Logic. 2018. (Outro).

CARNIELLI, W. ; BIRABEN, R. E. ; Bueno-Soler, Juliana ; BERTATO, F. ; TESTA, R. ; PULCINI, G. ; VENTURI, G. . Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE. 2016. (Congresso).

Juliana Bueno-Soler . 1st Workshop on Digital Humanities and e-Science. 2014. (Outro).

CONIGLIO, M. E. ; CARNIELLI, W. ; Juliana Bueno-Soler . Workshop on Thinking and Rationality. 2013. (Congresso).

Bueno-Soler, Juliana ; Coniglio, M. E. ; CARNIELLI, W. ; BIRABEN, R. E. ; BERTATO, F. . International Workshop on Philosophy and Mathematics of Uncertainty and Vagueness. 2012. (Congresso).

Bueno-Soler, Juliana . Primeira Oficina de Lógica e Argumentação. 2011. (Outro).

Magnani, L. ; CARNIELLI, W. ; Juliana Bueno-Soler . Model - Based Reasoning in Science and Technology (MBR'09). 2009. (Congresso).

Juliana Bueno-Soler . CLE 30/ XV EBL / XIV SLALM. 2008. (Congresso).

Participação em eventos

Epistemic Logic Workshop.How to benefit from lies: towards Paraconsistent Bayesian Epistemology. 2024. (Seminário).

GALAI seminar.Non-standard probabilities based on paraconsistent logics. 2024. (Seminário).

Logic, Rationality, and Probability Second RatioLog Workshop.Three-Valued Modalities and Paraconsistency. 2024. (Oficina).

OCIE Seminar in History and Philosophy of Mathematics.How to Benefit from Uncertainty: An Introduction to Paraconsistent Bayesian Update. 2024. (Seminário).

17th CLMPST: Science and Values in an Uncertain World. Paraconsistent and Paracomplete Popperian Probabilities. 2023. (Congresso).

World Logic Day - CLE'23.Advances in Possibilistic Logic. 2023. (Encontro).

6th World Congress of Paraconsistency in Torun- 2nd Stanislaw Jaskowiski Memorial Symposium.Paraconsistent multimodalities. 2022. (Simpósio).

En conmemoración del Dia Internacional de la Mujer - Ciclo de conferencias nc Iberia y América en la Lógica.Many-valued modalities and paraconsistency. 2022. (Encontro).

The 20th Brazilian Logic Conference". Three-valued paraconsistent multimodalities and their meaning. 2022. (Congresso).

PhDs in Logic XII.Probability and Evidence on Non-Standard Logics. 2021. (Encontro).

Colóquio Interdisciplinar sobre Teoria da Probabilidade: Filosofia, Física e Matemática na Encruzilhada.Em defesa do pluralismo probabilístico: a notável conexão entre o pluralismo lógico e teorias alternativas de probabilidade. 2019. (Outra).

Pint of Science Festival.Se a matemática é imperfeita, como fica a ciência em geral?. 2019. (Outra).

6th World Congress and School on Universal Logic.A generalization of Popper's probability theory. 2018. (Outra).

First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handing. Paraconsistent probabilistic methods for uncertanties ontologies. 2018. (Congresso).

Fourth Workshop CLE-Buenos Aires Logic Group.Comparing the product of fibring to taylor-suited logics. 2018. (Encontro).

Logic Bochum IV including the 4th workshop on conexive logics. Three-valued paraconsistent probability theory and the Total Probability Theorem in LFI1. 2018. (Congresso).

Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation. 2018. (Congresso).

17th Latin American Symposium on Mathematical Logic.Enlargin Popper's conditional probability as a primitive notion: towards general non-standard theories of probability. 2017. (Simpósio).

I Jornadas de Lógica No Clássica: Paraconsistencia.Probabilidades paraconsistentes y generalizaciones del Teorema de Bayes. 2017. (Seminário).

XVIII Brazilian Logic Conference.Popper's account of probability from paraconsistent grounds. 2017. (Encontro).

Trends in Logic XVI Consistency, Contradiction, Paraconsistency and Reasoning − 40 years of CLE. On quasi-classical probability measures: a paraconsistent probability theory based on LFI1. 2016. (Congresso).

XVII Encontro Nacional da ANPOF. Probabilidades paraconsistentes como ferramenta da razão. 2016. (Congresso).

Planejamento das Condições de Ensino. 2015. (Outra).

Second Workshop CLE - Buenos Aires Logic Group.On modal agents with limited capacity and their role in BDI systems. 2015. (Encontro).

Seminário de Lógica e Computação.Amending probability with consistency. 2015. (Seminário).

Tecnologia em Foco VI. 2015. (Oficina).

Tutorial sobre ?Ambiente Virtual de Aprendizagem Moodle?. 2015. (Outra).

Workshop on Non- Classical Logics.Paraconsistent probabilities: degrees of rational belief under contradiction.. 2015. (Encontro).

17th Brazilian Logic Conference - EBL 2014. Paraconsistent levelled possible-world semantics. 2014. (Congresso).

1st Workshop On Digital Humanities and e-Science. e-Reasoning: between Digital Humanities and e-Science '. 2014. (Congresso).

V Tecnologia em Foco 2014. 2014. (Oficina).

4th World Congress and School on Universal Logic. Paraconsistent Description Logics from the formal-consistency viewpoint. 2013. (Congresso).

International Workshop on Philosophy and Mathematics of Uncertainty and Vagueness. Betting on Paraconsistent Probability. 2012. (Congresso).

IV Colóquio de Arquitetura da Informação.Lógicas da descrição paraconsistente e perspectivas. 2012. (Encontro).

16th Logic Brazilian Logic Conference - XVI EBL. Probabilistic Modal Logic. 2011. (Congresso).

Beyond the Possible Remembering Richard Sylvan. 2011. (Congresso).

Chance & the Principal Principle. 2011. (Congresso).

Third International Congress on Tools for Teaching Logic. The King of Reasonshire. 2011. (Congresso).

Workshop Walfram Mathematica. 2010. (Outra).

World Congress and Scholl on Universal Logic - UniLog 2010. Description logics from a paraconsistent viewpoint. 2010. (Congresso).

XIV Encontro Nacional de Pós-Graduação em Filosofia.O conceito de probabilidade não-clássica através dos sistemas catódicos. 2010. (Encontro).

Encontro de "Filosofia da Lógica". 2009. (Encontro).

Model Based Reasoning in Since and Engineering Abduction, Logic, and Computational Discovery. Models for anodic and cathodic multimodalities. 2009. (Congresso).

Science, Truth and Consistency. Incompleteness in Paraconsistent Modalities. 2009. (Congresso).

CLE 30/ XV EBL / XIV SLALM. Possible-translations semantics for cathodic modal logics. 2008. (Congresso).

V Simpósio Internacional Principia.Extensões modais das lógicas mbC e Ci. 2007. (Simpósio).

XIII Jornadas de Epistemologias de las Ciencias Económicas. 2007. (Encontro).

XII Encontro Nacional de Filosofia da ANPOF.Prova por polinômios: uma nova aordagem para algebrizar lógicas?. 2006. (Encontro).

XIV Encontro Brasileiro de Lógica. Perspectives on Algebraizing Logics. 2006. (Congresso).

Mini-Escola de Lógica PUC-Rio. 2005. (Oficina).

Workshop "Semantics and Meaning" SeMe'05.Finite algebraizability and a simple proof-theory for the hierarchies Pn and In. 2005. (Oficina).

Workshop on Combination of Logics: Theory and Applications - CombLog'04.Finite algebraizability via possible-translations semantics. 2004. (Oficina).

XIII Encontro Brasileiro de Lógica CLE/SBL 25 Anos.Semântica Algébrica de Traduções Possíveis: um enfoque categorial. 2003. (Encontro).

X Encontro Nacional de Filosofia da ANPOF.Algebrizar, por quê?. 2002. (Encontro).

X Semana da Licenciatura em Matemática.X Semana da Licenciatura em Matemática. 2000. (Encontro).

XI Semana da Licenciatura em Matemática.XI Semana da Licenciatura em Matemática. 1999. (Encontro).

Participação em bancas

Aluno: Adriana Justina Rizzo

Juliana Bueno-Soler; SOUZA, L. F. N.; POLETTI, E. C. C.. Tecnologias da informação e da comunicação como ferramenta de suporte à recuperação de alunos em matemática. 2020 - Universidade Estadual de Campinas.

Aluno: Sandro Márcio da Silva Preto

Bueno-Soler, Juliana; M. Finger; RUFFINO, M.; CARNIELLI, W.. Lógica, Probabilidade e Consequência. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Ana Flavia de Faria Cholodovski

Walter A. Carnielli; Rodrigues, A.; RUFFINO, M.;Juliana Bueno-Soler. Lógicas de Inconsistência Formal e Não-Monotonicidade.. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Ângela Pereira Rodrigues

Juliana Bueno-Soler; Feitosa, H. A.; Cunha do Nascimento, M.. Sobre quantificadores: uma formalização do quantiificador quase-sempre. 2012. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Antonio Marmo da Cunha Oliveira

Bueno-Soler, Juliana; D'Ottaviano, I. M. L.;Walter A. Carnielli. Sistemas, Pressuposições e Implicaturas: uma investigação explanatória, lógica e filosófica . 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Tarcísio Genaro Rodrigues

CONIGLIO, M. E.; Feitosa, H. A.;Juliana Bueno-Soler; CARNIELLI, W.. Sobre os Fundamentos da Programacão Lógica Paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Dante Cardoso Pinto de Almeida

Juliana Bueno-Soler; D'Ottaviano, I. M. L.; Costa-Leite, A.. Ignoramus et ignorabimus: a persistência do paradoxo da cognoscibilidade. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Lorenzzo Frade

Rodrigues, A.;Bueno-Soler, Juliana; ANTUNES, H.; COELHO, A. M. N.; MOLICK, S.. Pluralismo Lógico e Combinações de Lógicas. 2024. Tese (Doutorado em Filosofia) - Universidade Federal de Minas Gerais.

Aluno: Eduardo Menezes de Moraes

Bueno-Soler, Juliana; M. Finger; Mauá, Denis Deratani.; COZMAN, Fabio.; SANTOS, Paulo Eduardo.. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Pedro Mendes Ferreira Lemos

Rodrigues, A.;Bueno-Soler, Juliana; RUFFINO, M.;Walter A. Carnielli; PEREIRA, L. C. P. D.. The Fading Light of Contingency On Tense, Modals, and Assessment-sensitivity. 2016.

Aluno: Luiz Henrique da Cruz Silvestrini

CONIGLIO, M. E.; Costa-Leite, A.;Juliana Bueno-Soler; D'Ottaviano, I. M. L.; Golçalves de Souza, E.; CARNIELLI, W.. Uma nova abordagem para a noção de quase-verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Pedro Henrique Carrasqueira Zanei

CARNIELLI, WALTER;Bueno-Soler, Juliana; MARANHAO, J. A.. The dilemma of liberal sovereignty and the logical limits of expertise. 2022. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Pedro Mendes Lemos

Bueno-Soler, JulianaWalter A. Carnielli; RUFFINO, M.. . Sobre a Contrafactualidade. 2014. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Maíra Bittencourt

Juliana Bueno-Soler; D'Ottaviano, I. M. L.; GOMES, E. L.; STERN, J. M.. Weight of Evidence: uma contribuição de Allan Turing e Jack Good para a filosofia da ciência. 2019. Exame de qualificação (Mestrando em Programa de pós-graduação em filosofia) - Universidade Estadual de Campinas.

Aluno: DANIEL ALVES DA SILVA LOPES DINIZ

Bueno-Soler, Juliana; GOMES, E. L.; Rodrigues, A.. Probabilidade do condicional e probabilidade condicional: leis do excesso e resultados de trivialização na lógica LFI1. 2019.

Aluno: Adriana Justina Rizzo

Bueno-Soler, Juliana. Tecnologia de suporte aos processos educativos: Uma proposta de intervenção no ensino de matemática. 2018. Exame de qualificação (Mestrando em Tocoginecologia) - Universidade Estadual de Campinas.

Aluno: Rogério José de Ribamar da Silva Júnior

Bueno-Soler, Juliana; D'Ottaviano, I. M. L.; VENTURI, Giorgio.. Modalidades Paraconsistentes como base para lógicas epistêmico-doxásticas. 2017. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Aluno: André Luiz Rodrigues Estevam

ESTEVAM, A. L. R.;Bueno-Soler, Juliana. Investimento automatizado em ações: estudo de caso da técnica Long&Short. 2019 - Universidade Estadual de Campinas.

Aluno: Maria Victoria da Silva

Juliana Bueno-Soler. Ferramenta de predição de valores de ações de renda variável. 2018.

Orientou

Miguel Alfredo Nunes

A utilização de Métodos de Combinação de Lógicas para a obtenção de Lógicas Catódicas; Início: 2024; Dissertação (Mestrado profissional em Filosofia) - Universidade Estadual de Campinas; (Orientador);

MAIRA BITENCOURT

Paraconsistência e Modelos de Mente Estatística Fragmentada; Início: 2024; Tese (Doutorado em Doutorado em Filosofia) - Universidade Estadual de Campinas; (Orientador);

Daniel Lopez Diniz

Lógica Possibilística baseada em LFI1; Início: 2021; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Maíra Bittencourt

PESO DA EVIDÊNCIA: UMA CONTRIBUIÇÃO DE ALAN TURING E JACK GOOD PARA A FILOSOFIA DA CIÊNCIA; 2021; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, ; Orientador: Juliana Bueno;

DANIEL ALVES DA SILVA LOPES DINIZ

Probabilidade do condicional e probabilidade condicional: leis de excesso e resultados de trivialização na lógica LFI1; 2020; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Bueno;

Igor de Camargo e Souza Câmara

Condicionais Contrafatuais e Contrapossíveis; 2018; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Juliana Bueno;

Edson Vinicius Bezerra

Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedade; ; 2017; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Juliana Bueno;

Andrea Emy Akimoto

Diminuicao do Lixo Organico Residencial: o Cultivo da Horta Organica com Auxilio da M

Andre Nascimento da Silva

A quimica contextualizada para educacao de jovens e adultos: seria uma solucao?; 2013; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Juliana Bueno;

Fabiana Del Nero

A importância do Ensino de Ciências nas séries iniciais do Ensino Fundamental I e Educação Infantil, como fundamentos para uma educação de qualidade; 2012; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Juliana Bueno;

Maria Rita Alves Magalhães

O uso da tecnologia e da leitura na sala de aula; 2012; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Juliana Bueno;

Roberta da Silva Bonani

As salas do Acessa Escola na Rede Estadual de Ensino de São Paulo: reflexões sobre as condições de uso na cidade de Bragança Paulista; 2012; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Juliana Bueno;

Edineia Sueli de Souza

Tecnologia, Ensino e Prática Pedagógica: quanto uma influencia na outra?; 2012; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Juliana Bueno;

Rosangela Cardoso Galan

A velocidade de aprendizagem da criança tecnológica: as contribuições das novas tecnologias para o letramento das crianças e jovens; 2012; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Juliana Bueno;

Luis Antonio Coêlho

Em direção a uma criptografia RSA gaussiana; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Estadual de Campinas; Orientador: Juliana Bueno;

Produções bibliográficas

CARNIELLI, WALTER ; Juliana Bueno-Soler . Where the truth lies: a paraconsistent approach to Bayesian epistemology. Studia Logica , v. unico, p. 1-16, 2024.
RODRIGUES, ABILIO ; Bueno-Soler, Juliana ; CARNIELLI, WALTER . Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. SYNTHESE , v. 1, p. 1, 2020.
Bueno-Soler, Juliana ; CARNIELLI, WALTER . Paraconsistent Probabilities: Consistency, Contradictions and Bayes? Theorem. Entropy (Basel. Online) , v. 18, p. 325, 2016.
Bueno-Soler, Juliana . Multimodal Incompleteness Under Weak Negations. Logica Universalis (Print) , v. 7, p. 21-31, 2013.
Juliana Bueno-Soler . Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis (Print) , v. 4, p. 137-160, 2010.
Bueno-Soler, J. ; Bueno-Soler, Juliana . Models for anodic and cathodic multimodalities. Logic Journal of the IGPL (Print) , p. 1-20, 2010.
Juliana Bueno-Soler . Completeness and incompleteness for anodic modal logics. Journal of Applied Non-Classical Logics , v. 19, p. 291-310, 2009.
Juliana Bueno-Soler ; Walter A. Carnielli . Possible-translations algebraization for paraconsistent logics. University of Lodz. Department of Logic. Bulletin of the Section of Logic , v. 34, n.2, p. 77-92, 2005.
Juliana Bueno-Soler ; Rodrigues, A. ; CARNIELLI, W. . Many-Valued Modalities and Paraconsistency. In: Marcelo E. COnglio; Ekaterina Kubyshkina; Dmitry Zaitsev. (Org.). Synthese Library. 1ed.: Springer International Publishing, 2024, v. , p. 217-241.
Rodrigues, A. ; Coniglio, M. E. ; ANTUNES, H. ; Bueno-Soler, J. ; CARNIELLI, W. . Paraconsistency, Evidence, and Abduction. In: Magnani, L.. (Org.). Handbook of Abductive Cognition. 1ed.: Springer International Publishing, 2022, v. 1, p. 1-38.
CARNIELLI, WALTER ; Bueno-Soler, Juliana . Credal Calculi, Evidence, and Consistency. In: Ofer Arieli; Ana Zamanski. (Org.). Outstanding Contributions to Logic. 1ed.Cham: Springer International Publishing, 2021, v. 1, p. 71-90.
Bueno-Soler, Juliana ; CARNIELLI, WALTER ; Coniglio, Marcelo E. ; Rodrigues Filho, Abilio . Formal (In)consistency, Abduction and Modalities. In: Lorenzo Magnani; Tomaso Bertolotti. (Org.). Springer Handbook of Model-Based Science. 1ed.London New York: Springer International Publishing, 2017, v. 1, p. 315-335.
Juliana Bueno-Soler ; Walter A. Carnielli . Experimenting with consistency. In: Markin; Vladimir; Zaitsev; Dmitry.. (Org.). The Logical Legacy of Nikolai Vasiliev and Modern Logic. 1ed.Amsterdam: Springer, 2017, v. 387, p. 199-221.
Juliana Bueno-Soler ; Walter A. Carnielli . Paraconsistent probabilities, their significance and their uses. In: C. Caleiro; F. Dionisio; P. Gouveia; P. Mateus; J. Rasga. (Org.). Essays in Honour of Amilcar Sernadas. 1ed.Londres: College Publications, 2017, v. 33, p. 197-230.
Juliana Bueno-Soler ; Walter A. Carnielli ; Coniglio, M. E. . Possible-translations algebraizability. In: J.-Y. Béziau ; W.A. Carnielli; D. Gabbay. (Org.). Handbook of Paraconsistency. 1ed.Londres: King s College, 2007, v. 9, p. 321-340.
Bueno-Soler, Juliana ; CARNIELLI, W. . Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?. In: Physics and Computation 2010- 3rd International Workshop, 2010, Luxor. Physics and Computation 2010. Açores: Centre for Applied Mathematics and Information Technology Department of Mathematics University of Az, 2010. v. 1. p. 109-111.
Juliana Bueno-Soler . Possible-translations semantics for cathodic modal logics. In: CLE 30 / XV Brazilian Logic Conference / XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. CLE 30 / XV EBL / XIV SLALM. Campinas, SP: Centre for Logic, Epistemology and the History of Science, 2008. p. 91-91.
Juliana Bueno-Soler ; CONIGLIO, M. E. ; Walter A. Carnielli . Finite algebraizability via possible-translations semantics. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of CombLog'04. Lisboa: Departamento de Matemática - Instituto Superior Técnico, 2004. v. 1. p. 79-86.
Bueno-Soler, Juliana . Paraconsistent multimodalities. In: The Second Stanislawe Jaskowiski Memorial Symposium, 2022, Torun. Paraconsistent multimodalities. Torun: The Nicolaus Copernicus University Scientific Publishing House, 2022. v. 1. p. 82-82.
Bueno-Soler, Juliana . Three-valued paraconsistent multimodalities and their meaning. In: XX Encontro Brasileiro de Lógica: livro de resumos, 2022, Salvador. XX Brazilian Logic Conference. Salvador: Câmara Brasileira do livro, 2022. v. 1. p. 71-71.
Bueno-Soler, Juliana . A generalization of Popper?s probability theory. In: 6th World Congress and School on Universal Logic, 2018, Vichy. Handbook of the 6th World Congress and School on Universal Logic. Vichy: Vichy University Campu, 2018. v. 1.
Bueno-Soler, Juliana . On quasi-classical probability measures: a paraconsistent probability theory based on LFI1. In: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE, 2016, Campinas. Book of astracts of 16 conference trends in logic : consistency, contradiction, paraconsistency and reasoning, 40 years of CLE, 2016. v. 1. p. 35-37.
Bueno-Soler, Juliana . Fibring modal-levelled semantics for BDI logics. In: 'First Joint Meeting Brazil-Spain in Mathematics', 2015, Fortaleza. "First Joint Meeting Brazil-Spain in Mathematics", 2015. v. 1. p. 90-90.
Bueno-Soler, Juliana . Paraconsistent probability theory: betting rationally under contradiction. In: 5th World Congress and School on Universal Logic - Unilog 2015, 2015, Istanbul. Handbook of the 5th World Congress and School on Universal Logic, 2015. v. 1. p. 83-84.
Bueno-Soler, Juliana ; M. Finger . Probabilistic Modal Logic. In: 16th Brazilian Logic Conference - XVI EBL, 2011, Petrópolis. Abstracts of 16th Brazilian Logic Conference, 2011. v. unico. p. 08-08.
Juliana Bueno-Soler . Description logics from a paraconsistent viewpoint. In: J-Y. Béziau, C. Caleiro, A. Costa-Leite, J. Ramos of World Congress and School on Universal Logic - UniLog 2010, 2010, Monte Estoril. World Congress and School on Universal Logic - Book of Abstracts. Lisboa: Instituto Superior Técnico - Departamento de Matemática, 2010. v. unico. p. 28-29.
Bueno-Soler, Juliana . O conceito de probabilidade não-clássica através dos sistemas catódicos. In: XIV Encontro Nacional de Pós-Graduação em Filosofia - ANPOF, 2010, Águas de Lindóia. Atas do XIV Encontro Nacional de Filosofia. Campinas: Associação Nacional de Pós-Graduação em Filosofia - ANPOF, 2010. v. unico. p. 294-295.
Juliana Bueno-Soler . Possible-translations semantics for cathodic modal logics. In: CLE 30/ XV EBL / XIV SLALM, 2009, Paraty. XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, 2009. v. 15. p. 347-348.
Juliana Bueno-Soler . Incompleteness in Paraconsistent Modalities. In: Science, Truth and Consistency CLE / AIPS Event, 2009, Campinas. Science, Truth and Consistency: abstracts of the CLE / AIPS Event. Campinas: Editora da Unicamp, 2009. v. 1. p. 60-61.
Juliana Bueno-Soler . Models for anodic and cathodic multimodalities. In: Model Based Reasoning in Science and Engineering Abduction (MBR'09), 2009, Campinas. Model Based Reasoning, Abduction, Logic, and Computational Discovery, 2009. p. 13-13.
Juliana Bueno-Soler . Extensões modais das lógicas mbC e Ci. In: V Simpósio Internacional Principia, 2007, Florianópolis. Anais do V Simpósio Internacional Principia. Florianópolis, 2007. v. único. p. 110-110.
Juliana Bueno-Soler . Prova por polinômios: uma nova aordagem para algebrizar lógicas?. In: XII Encontro Nacional de Filosofia - ANPOF, 2006, Salvador. Livro de atas do XII Encontro Nacional de Filosofia. Salvador, BA, 2006. v. único. p. 305-306.
Juliana Bueno-Soler . Algebrização finitária de Pn e In e uma axiomática simplificada. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador , BA. Livro de Atas do XI Encontro Nacional de Filosofia da ANPOF. Salvador, BA: Editora da UESC, 2004. v. 1. p. 248-248.
Juliana Bueno-Soler ; Walter A. Carnielli ; CONIGLIO, M. E. . Semântica Algébrica de Traduções Possíveis: um enfoque categorial. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. CLE/SBL 25 anos. Campinas: UNICAMP, 2003. v. unico. p. 55-56.
Juliana Bueno-Soler ; Walter A. Carnielli . Algebrizar, por quê?. In: ANPOF 2002, 2002, São Paulo. Anais da ANPOF 2002. São Paulo: ANPOF, 2002. v. 01. p. 288-288.
Juliana Bueno-Soler . A Aritmética e a indecidibilidade. In: XII Congresso de Iniciação Científica, 2000, Bauru. Livro de Resumos do XII Congresso de Iniciação Científica. Bauru: UNESP, 2000. v. 1.
Juliana Bueno-Soler . Funções recursivas e números de Gödel. In: XI Congresso de Iniciação Científica- UNESP, 1999, Araraquara. Liivro de Resumos XI Congresso de Iniciação Científica. Araraquara: UNESP, 1999. v. 1.
Bueno-Soler, Juliana . Paraconsistent multimodalities. 2022. (Apresentação de Trabalho/Simpósio).
Bueno-Soler, Juliana . Three-valued paraconsistent multimodalities and their meaning. 2022. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Many-valued modalities and paraconsistency. 2022. (Apresentação de Trabalho/Conferência ou palestra).
Bueno-Soler, Juliana . Probability and Evidence on Non-Standard Logics. 2021. (Apresentação de Trabalho/Conferência ou palestra).
Bueno-Soler, Juliana . Se a matemática é imperfeita, como fica a ciência em geral?. 2019. (Apresentação de Trabalho/Conferência ou palestra).
Bueno-Soler, Juliana . Em defesa do pluralismo probabilístico: a notável conexão entre o pluralismo lógico e teorias alternativas de probabilidade. 2019. (Apresentação de Trabalho/Conferência ou palestra).
Bueno-Soler, Juliana . Paraconsistent Description Logics from the viewpoint of LFI. 2018. (Apresentação de Trabalho/Outra).
Bueno-Soler, Juliana . A generalization of Popper's probability theory. 2018. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Paraconsistent probabilistic methods for uncertais ontologies. 2018. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Probabilistic Graphical Models with Imprecise Probabilities and Their Applications to Decision-Support Systems and Machine Learning. 2018. (Apresentação de Trabalho/Outra).
Bueno-Soler, Juliana . Comparing the product of fibring to taylor-suited logics. 2018. (Apresentação de Trabalho/Outra).
Bueno-Soler, Juliana . Three-valued paraconsistent probability theory and the Total Probability Theorem in LFI1. 2018. (Apresentação de Trabalho/Outra).
Bueno-Soler, Juliana . Logic Bochum IV including the 4th workshop on conexive logics. 2018. (Apresentação de Trabalho/Outra).
Bueno-Soler, Juliana . Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation. 2018. (Apresentação de Trabalho/Outra).
Bueno-Soler, Juliana . Probabilidades paraconsistentes y generalizaciones del Teorema de Bayes. 2017. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . Enlargin Popper's conditional probability as a primitive notion: towards general non-standard theories of probability. 2017. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . Popper's account of probability from paraconsistent grounds. 2017. (Apresentação de Trabalho/Comunicação).
Bueno-Soler, Juliana . Popper?s Conditional Probability, Negation and Consistency. 2017. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . Popper?s Conditional Probability, Negation and Consistency. 2017. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Portraits of a logic and their algebraic soul. 2016. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . On quasi-classical probability measures: a paraconsistent probability theory based on LFI1. 2016. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Probabilidades paraconsistentes: um estudo de caso. 2016. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana ; Walter A. Carnielli . Probabilidades paraconsistentes como ferramenta da razão. 2016. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana ; CARNIELLI, W. . Uma teoria da probabilidade para lidar com fenômenos envolvendo contradição. 2015. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana ; CARNIELLI, W. . Paraconsistent probability theory: betting rationally under contradiction. 2015. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Fibring modal-levelled semantics for BDI logics. 2015. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana ; AGUDELO-AGUDELO, J. C. . Paraconsistent levelled possible-worlds semantics. 2014. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Paraconsistent Modal Logics. 2013. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . David Lewis's trivialization on conditional probability and paraconsistency. 2013. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana ; AGUDELO-AGUDELO, J. C. . On realistic Epistemic Logic. 2013. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana ; AGUDELO-AGUDELO, J. C. . On incomplete and limited knowledge: an epistemic logic for realistic agents. 2013. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . Modal systems with nuances in negation: from completeness to incompleteness. 2013. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Betting on Paraconsistent Probability. 2012. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana ; M. Finger . Probabilistic Modal Logic. 2011. (Apresentação de Trabalho/Congresso).
Bueno-Soler, Juliana . Conditional probability and probability of conditional: David Lewis's trivialization result and paraconsistency. 2011. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Description logics from a paraconsistent viewpoint. 2010. (Apresentação de Trabalho/Congresso).
Juliana Bueno-Soler . Modal systems with soft negations: from completeness to incompleteness. 2010. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . Paraconsistent Multimodalities towards Description Logic. 2010. (Apresentação de Trabalho/Seminário).
Bueno-Soler, Juliana . Versões anódicas e catódicas de S5: da completude à incompletude. 2010. (Apresentação de Trabalho/Outra).
Juliana Bueno-Soler . Incompleteness in Paraconsistent Modalities. 2009. (Apresentação de Trabalho/Congresso).
Juliana Bueno-Soler . Models for anodic and cathodic multimodalities. 2009. (Apresentação de Trabalho/Congresso).
Juliana Bueno-Soler . Possible-Translations Semantics for Cathodic Modal Logics. 2008. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Extensões modais das lógicas mbC e Ci. 2007. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Modalidades Anódicas e Catódicas. 2007. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Polinômios como provas: a álgebra nas demonstrações lógicas. 2007. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Perspectives on algebraizing logics. 2006. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Provas por polinômios: uma nova abordagem para algebrizar lógicas?. 2006. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . O método de anéis de polinômios para a lógica: problemas e perspectivas. 2006. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Análise semântica das lógicas paraconsistentes:a semântica das traduções possíveis. 2006. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Finite algebraizability and a simple proof-theory for the hyerachy Pn and In. 2005. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Algebraizing logics via Possible-Translations Semantics;. 2004. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Limitations of the Method of Finite Algebraizability and its Extensions via Possible-Translations Semantics;. 2004. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler ; CONIGLIO, M. E. ; Walter A. Carnielli . Finite algebraizability via Possible Translation Semantics.. 2004. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Algebrização a distância. 2003. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler ; Walter A. Carnielli ; CONIGLIO, M. E. . Semântica Algébrica de Traduções Possíveis: um enfoque categorial.. 2003. (Apresentação de Trabalho/Comunicação).
Juliana Bueno-Soler . Algebrização das lógicas paraconsistentes. 2002. (Apresentação de Trabalho/Seminário).
Juliana Bueno-Soler . Algebrizar, por quê?. 2002. (Apresentação de Trabalho/Comunicação).
Rodrigues, A. ; CARNIELLI, WALTER ; Coniglio, Marcelo E. ; Juliana Bueno-Soler ; ANTUNES, H. . Paraconsistency, Evidence, and Abduction. Berlim: Springer, 2022 (Resenha bibliográfica).
CARNIELLI, W. ; PIZZI, C. ; Juliana Bueno-Soler . Modalities and Multimodalities. United Kingdom: Springer, 2008. (Tradução/Livro).
Juliana Bueno-Soler . Resenha crítica de Computabilidade: Funções Computáveis, lógica e os Fundamentos da Matemática. Córdoba: SIRCA, Publicaciones Academicas, 2006 (Resenha bibliográfica).

Outras produções

Juliana Bueno-Soler . Classical Mathematical Logic (Autor R. L. Epstein com contribuições de L. W. Szczerba). 2005.

Bueno-Soler, Juliana . Non-classical logics: a landscape of paraconsistency, probability and LFIs. 2021. (Programa de rádio ou TV/Outra).

Juliana Bueno-Soler ; CARNIELLI, W. ; MATULOVIC, Mariana ; A. Santachè . A superinteligência artificial e suas consequências. 2021. (Programa de rádio ou TV/Outra).

Bueno-Soler, J. ; Bueno-Soler, Juliana . Canal Juliana Bueno (Youtube). 2020; Tema: Video aula. (Site).

Bueno-Soler, Juliana . Construindo minha primeira linguagem de máquina. 2021. (Curso de curta duração ministrado/Extensão).

Juliana Bueno-Soler ; MATULOVIC, Mariana . Códigos binários e circuitos. 2021. (Curso de curta duração ministrado/Extensão).

CARNIELLI, W. ; Juliana Bueno-Soler . Questões de ética: o que a IA pode realmente fazer conosco?. 2021. (Curso de curta duração ministrado/Extensão).

CARNIELLI, WALTER ; Juliana Bueno-Soler . Argumentar e pensar criticamente: a defesa contra o negacionismo. 2021. (Curso de curta duração ministrado/Extensão).

Juliana Bueno-Soler . O método científico e a Inteligência Artificial. 2021. (Curso de curta duração ministrado/Extensão).

CARNIELLI, WALTER ; Juliana Bueno-Soler . Inteligência Artificial, impactos e problemas. 2021. (Curso de curta duração ministrado/Extensão).

CARNIELLI, WALTER ; Bueno-Soler, Juliana . Pensamento Crítico, Lógica e Argumentação. 2021. (Desenvolvimento de material didático ou instrucional - Curso on-line).

Bueno-Soler, Juliana ; CARNIELLI, W. ; STERN, J. . Logic, Inference, Probability and Paradox. 2017. (Editoração/Periódico).

Juliana Bueno-Soler ; CARNIELLI, WALTER ; TESTA, R. . Book of Abstracts of Trends in Logic XVI Consistency, Contradiction, Paraconsistency and Reasoning − 40 years of CLE. 2016. (Editoração/Anais).

Juliana Bueno-Soler ; CARNIELLI, W. . Semânticas para multimodalidades. 2012. (Curso de curta duração ministrado/Outra).

Bueno-Soler, Juliana . Da consequência lógica à probabilidade. 2011. (Relatório de pesquisa).

Juliana Bueno-Soler . Ciência e Arte nas Férias. 2007. (Monitoria).

Projetos de pesquisa

2024 - Atual

Teorias de Probabilidade não-convencionais, sua importância e aplicações, Descrição: Processo: 2024/07687-6. O presente projeto de pesquisa pretende investigar semânticas probabilísticase possibilísticas, enfatizando alguns novos sistemas lógicos especialmente concebidos;visa desenvolver e aplicar resultados obtidos em uma teoria de multialgebras a sistemas lógicos específicos e à teoria de probabilidades; e finalmente busca investigar aspectos técnicos e filosóficos de uma abordagem epistêmica da paraconsistência.As três tarefas apoiarão os objetivos gerais do presente projeto que são o estudo dos vários aspectos da racionalidade formal, lógica e probabilidade com ênfase especial para novos métodos de álgebra, semântica e teoria da probabilidade, envolvendo expansões da lógicapadrão para sistemas de lógicas não-clássicas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
2023 - Atual

Racionalidade, Lógica e Probabilidade- RatioLog, Descrição: Processo: 2020/16353-3. O projeto aborda questões de consistência, contradição e evidência, integrando interpretações probabilísticas para fundamentar a filosofia da paraconsistência. A Tarefa I investiga semânticas probabilísticas em sistemas lógicos novos. A Tarefa II aplica métodos não-determinísticos e hiperalgebricidade à lógica e probabilidades. A Tarefa III explora a relação entre contradições e uma abordagem epistêmica da paraconsistência. O objetivo geral é expandir a lógica clássica usando métodos algébricos, semânticos e probabilísticos para avançar a filosofia da ciência e da matemática.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Juliana Bueno - Integrante / Marcelo E. Coniglio - Integrante / Walter Carnielli - Coordenador / Rodolfo Ertola Biraben - Integrante / Fábio Bertato - Integrante / Juan Carlos Agudelo-Agudelo - Integrante / Abilio Rodrigues - Integrante / Mariana Matulovic - Integrante / Julio Stern - Integrante / Henrique Antunes - Integrante / Tommaso Flaminio - Integrante.
2023 - Atual

MOSAIC - Modalilities in Substructural Logics: Theory, Methods and Applications, Descrição: Projeto de Pesquisa Marie Currie/Horizon financiado pela UNião Européia em lógicas modais substruturais. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador / Marcelo Esteban Coniglio - Integrante / Walter Carnielli - Integrante / Luca Spada - Integrante / Agata Ciabattoni - Integrante / Tommaso Flaminio - Integrante.
2022 - Atual

Cálculos Credais, Evidencia e Informação Resiliente, Descrição: Projeto Produtividade em Pesquisa - PQ nível 2 - Processo: 311433/2021-9. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
2021 - Atual

Pensamento Crítico, Lógica e Argumentação, Descrição: Curso gratuito oferecido pela Escola de Extensão da Unicamp e Plataforma Coursera https://www.coursera.org/learn/pensamento-critico-argumentacao/home/welcome Integrantes: Walter Alexandre Carnielli - Integrante / Juliana Bueno-SOler - Coordenador.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Juliana Bueno - Coordenador / Walter Carnielli - Integrante.
2020 - 2021

Inteligência Artificial: da Lógica às Humanidades, Descrição: Trata-se de um projeto de divulgação científica voltado à estudantes e professores do ensino fundamental e médio cujo intuito é popularizar a temática Inteligência Artificial a partir de seus diferentes vieses: lógica e pensamento crítico, ética, fake news e robótica.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Integrante / CARNIELLI, WALTER - Coordenador / Rafael Testa - Integrante / Ana Cláudia Golzio - Integrante / Mariana Matulovic - Integrante.
2019 - 2022

Generalizações da teoria da probabilidade de Popper, Descrição: Projeto Produtividade em Pesquisa - PQ nível 2 - Processo: 308077/2018-0. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Integrante / Bueno-Soler, J. - Coordenador.
2017 - 2020

O Método de Anéis de Polinômios para sistemas multimodais anódicos e catódicos, Descrição: Chamada Universal/2016. O presente projeto tem como objetivo desenvolver uma tradução polinomial para a classe dos sistemas multimodais anódicos (sistemas modais positivos) e catódicos (sistemas modais paraconsistentes). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Integrante / Mariana Matulovic - Coordenador.
2017 - Atual

Traducciones, Lógicas Combinadas, Descripciones, Lógica Intensiva, Teoria de Tipos, Lógica HíbridaTraducciones, Lógicas Combinadas, Descripciones, Lógica Intensiva, Teoria de Tipos, Lógica Híbrida, Descrição: Projeto ligado ao Programa de Doctorado en Lógica y Filosofía de la Ciencia- Grupo Coimbra de Universidades (Universidades de Salamanca, Aveiro, Campinas, Baurú, Roskilde (Dinamarca), Córdoba e Barcelona). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador / Mara Manzano - Integrante.
2016 - 2018

Mathematical Tools for the Management of Uncertain and Vague Information (MaToMUVI), Descrição: Projeto Marie Curie da Comunidade Européia. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador / Luca Spada - Integrante.
2011 - 2015

Conciencia, Lógica y Computación, Descrição: Trata-se de um projeto de pequisa sobre vfundamentos da cognoscibilidade em Lógica e Computação envolvendo diversas universidades da Espanha, da qual participam alguns pesquisadores ligados ao Centro de Lógica. Epistemologia e História da Ciência da Unicamp. O projeto foi aprovado como Proyecto de Excelencia, Consejería de Innovación, Ciencia y Empresa, Junta de Andalucía, Espanha.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
2011 - 2011

Da consequência lógica à probabilidade, Descrição: Projeto financiado pela FAPESP, processo 2011/05870-8, para ser desenvolvido junto à Universidade de Melbourne, Austrália, com supervisão do Prof. Grahm Priest. Neste projeto foi iniciado o estudo dos fundamentos da noção de probabilidade do ponto de vista das lógicas modais anódicas (sem negação) e catódicas (lógicas paraconsistentes com graus de negação, as quais são extensões modais das lógicas da incosistência formal, já bastante estudadas na literatura). Apesar de se tratar de uma proposta com viés teórico, os problemas abordados são de interesse de métodos voltados a aplicações, em particular a problemas relacionados à satisfatibilidade probabilística e à probabilidade condicional.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
2010 - 2016

Logical Consequence, Reasoning and Computation - LogCons, Descrição: Projeto Temático FAPESP (processo 10/51038-0) em vigor entre 2010-2016. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
2009 - 2013

CPAI- Centro de Pesquisa em Arquitetura da Informacão, Descrição: O Centro de Pesquisa em Arquitetura da Informação - CPAI, vinculado à recém criada Faculdade de Ciência da Informação FCI, da Universidade de Brasília, é uma instituição que se dedica à investigação e aplicação dos modelos de uso da informação e de suas diferentes manifestações.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
2004 - 2010

Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications - ConsRel, Descrição: Projeto Temático FAPESP (processo 04/14107-2) em vigor entre 2004-2010, ora terminado e com todos os relatórios aprovados.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Juliana Bueno - Coordenador.
1992 - Atual

Grupo de Lógica Teórica e Aplicada (GLTA), Descrição: Descrição: O Grupo de Lógica Teórica e Aplicada - GLTA tem sido visto como um pólo formador de recursos humanos (diversos doutores e mestres formados pelo grupo ocupam posições em universidades públicas) e gerador de pesquisa original, que tem resultado em diversas publicações em livros e nas melhores revistas de circulação internacional. Além disso, o GLTA tem contribuído na organização de diversos eventos acadêmicos e é reconhecido internacionalmente como um dos grupos mais importantes do hemisfério sul, tendo ainda recebido dezenas de visitantes nos últimos anos. O GLTA mantém intensa atividade de cooperação com pesquisadores brasileiros e estrangeiros, em especial com o Centro de Lógica e Computação do Instituto Superior Técnico da Universidade Técnica de Lisboa.. Situação: Em andamento; Natureza: Pesquisa.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) . , Integrantes: Juliana Bueno - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo E. Coniglio - Integrante / Itala M. L. D'Ottaviano - Integrante / Juan Carlos Agudelo-Agudelo - Integrante / Abilio Rodrigues - Integrante.

Prêmios

2022

Exellence Initiative - Research University Programe, Universidade Nicolau Copérnico, Torun, Polônia.

2022

Prêmio Newton da Costa, Sociedade Brasileira de Lógica.

Histórico profissional

Endereço profissional

Universidade Estadual de Campinas, Faculdade de Tecnologia. , Rua Paschoal Marmo, Jardim Piratininga, 13484332 - Limeira, SP - Brasil, Telefone: (19) 21133306, URL da Homepage:

Experiência profissional

2024 - Atual

Chapman University

Vínculo: , Enquadramento Funcional:

2017 - Atual

Universidad de Salamanca

Vínculo: , Enquadramento Funcional:

2016 - 2018

Università Degli Studi Di Salerno

Vínculo: , Enquadramento Funcional:

2014 - Atual

Universidade Estadual de Campinas

Vínculo: Servidor Público, Enquadramento Funcional: professor MS 3, Regime: Dedicação exclusiva.

2004 - 2010

Universidade Estadual de Campinas

Vínculo: Colaborador, Enquadramento Funcional: Estudante

2010 - 2014

Universidade Federal do ABC

Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

2010 - 2014

Universidade Federal do ABC

Vínculo: Servidor Público, Enquadramento Funcional: Professor MS3, Carga horária: 40

2009 - 2013

Universidade de Brasília, UnB

Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora, Carga horária: 2

2014 - 2014

Universidade de Melbourne

Vínculo: Bolsista, Enquadramento Funcional: Professor visitante, Carga horária: 20

2011 - 2015

Universidade de Sevilla

Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora, Carga horária: 2

2005 - 2005

Universidade Paulista

Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente I, Carga horária: 8

2009 - 2009

Universidade Federal de São Carlos

Vínculo: Bolsa de trabalho, Enquadramento Funcional: Tutoria, Carga horária: 20

Outras informações:
Educação à Distância com capacitação na Plataforma Moodle de EaD.

2017 - Atual

Sociedade Brasileira de Lógica

Vínculo: Vice-Presidente, Enquadramento Funcional: Cargo Eletivo, Carga horária: 2

2014 - 2017

Sociedade Brasileira de Lógica

Vínculo: Tesoureira, Enquadramento Funcional: Eleita, Carga horária: 1