Luiz Henrique Da Cruz Silvestrini

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Matemática

Publicações

Total: 154

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Links	Grande área de atuação	Área de atuação
Nome	Vínculo		Grande área de atuação	Área de atuação
Mariana Matulovic Da Silva RODRIGUEIRO			Ciências Exatas e da Terra	Matemática

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 6

Mapa de calor das categorias ASJC por ano
Categoria ASJC	2001	2002	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
3304 · Education	0	0	0	0	0	0	0	0	0	0	0	0	1	0	2	3	6	2	4	2	5	2	2	1	2
1702 · Artificial Intelligence	1	0	0	0	3	1	1	0	0	0	1	0	1	3	5	5	1	2	1	2	2	0	0	1	0
1203 · Language and Linguistics	0	0	1	1	0	0	1	1	0	1	0	0	3	0	1	0	1	0	2	1	1	1	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	1	0	0	0	1	0	2	4	0	2	2	2	1	0	0	0
1701 · Computer Science (miscellaneous)	0	1	0	0	0	0	0	0	0	0	0	0	0	1	1	0	1	3	0	1	1	3	0	0	0
2609 · Logic	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	1	0	4	3
2601 · Mathematics (miscellaneous)	0	1	1	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	1	1	2	0
3310 · Linguistics and Language	0	0	1	1	0	0	0	0	0	0	0	2	0	0	0	0	0	2	0	0	1	0	0	0	0
1211 · Philosophy	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	2	0	1	0	0	0	0	0	2	0
2604 · Applied Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	3	0
2201 · Engineering (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0
2606 · Control and Optimization	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1
3301 · Social Sciences (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
1301 · Biochemistry; Genetics and Molecular Biology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0
1706 · Computer Science Applications	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2204 · Biomedical Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0
2600 · General Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0
2607 · Discrete Mathematics and Combinatorics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
2613 · Statistics and Probability	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
2614 · Theoretical Computer Science	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3101 · Physics and Astronomy (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2013	Capítulo de livro	Semântica de sociedades via quantificadores generalizados Luiz Henrique Da Cruz SILVESTRINI Filosofia contemporânea: lógica; linguagem e Ciência ISBN 9788588072121	SH Education
2013	Trabalho em evento	Evolutionary databases and quasi-truth: some relations via model theory Luiz Henrique Da Cruz SILVESTRINI 4th World Congress and School on Universal Logic ISBN 9788540006829	PS Artificial Intelligence
2013	Trabalho em evento	Relações entre tableaux para formalizar a noção de 'poucos' em ambiente proposicional e de primeira ordem Luiz Henrique Da Cruz SILVESTRINI; Ana Claudia De Jesus GOLZIO II Congresso de Matemática Aplicada e Computacional - Sudeste ISBN 2237-7166	SH Language and Linguistics
2013	Trabalho em evento	Tableaux para uma lógica quase-modulada do 'poucos' Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI II Congresso de Matemática Aplicada e Computacional - Sudeste ISBN 2237-7166	SH Language and Linguistics
2013	Trabalho em evento	A equivalência dedutiva entre um sistema axiomático e um sistema de tableaux Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI XXV Semana da Licenciatura em Matemática	PS Mathematics (miscellaneous)
2013	Trabalho em evento	Dedução em tableaux para uma lógica quase-modulada Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI XXV Congresso de Iniciação Científica da UNESP: Internacionalização - uma nova dimensão à formação acadêmica ISBN 2178-860X	SH Language and Linguistics
2012	Trabalho em evento	Inconsistências; sistemas formais e quantificadores modulados Luiz Henrique Da Cruz SILVESTRINI Encontro Regional de Matemática Aplicada e Computacional	SH Linguistics and Language
2012	Trabalho em evento	Semântica de sociedades via quantificadores generalizados Luiz Henrique Da Cruz SILVESTRINI XV Encontro Nacional da ANPOF	SH Linguistics and Language
2011	Trabalho em evento	Uma lógica para a quase-verdade: axiomática; semântica de estruturas parciais e completude Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO Seventh Principia International Symposium	PS Artificial Intelligence
2010	Trabalho em evento	Pragmatic satisfaction and quasi-truth Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO World Congress and School on Universal Logic (3rd edition) ISBN 9789729928925	SH Psychology (miscellaneous)
2010	Trabalho em evento	Satisfação Pragmática: (re)definindo a quase-verdade de da Costa Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO XIV Encontro Nacional da ANPOF	SH Language and Linguistics
2009	Trabalho em evento	Quasi-truth theories and paraconsistent databases Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO CLE/AIPS event - Science; truth and Consistency ISBN 9788586497063	SH Philosophy
2008	Trabalho em evento	Localizando pontos no tableau TLP Luiz Henrique Da Cruz SILVESTRINI; Mauri Cunha Do NASCIMENTO I Encontro Regional de Matemática Aplicada e Computacional ISBN 9788599703281	SH Language and Linguistics
2007	Trabalho em evento	Algumas Lógicas Moduladas em Sistemas de Tableaux Luiz Henrique Da Cruz SILVESTRINI; Mariana Matulovic Da Silva FADEL V Simpósio Internacional PRINCIPIA ISBN 9788587253156	SH Language and Linguistics
2007	Artigo em periódico	Um Sistema de Tableaux Analíticos para a Lógica do Plausível Luiz Henrique Da Cruz SILVESTRINI Revista Eletrônica Informação e Cognição DOI 10.36311/1807-8281 ISSN 1807-8281	PS Artificial Intelligence
2006	Trabalho em evento	Provadores automáticos de teoremas para alguns sistemas modulados Luiz Henrique Da Cruz SILVESTRINI; Mariana Matulovic Da Silva FADEL VII Encontro Brasileiro Internacional de Ciência Cognitiva	PS Artificial Intelligence
2005	Trabalho em evento	Uma lógica modulada num sistema de tableaux e o raciocínio indutivo por ela formalizado. Luiz Henrique Da Cruz SILVESTRINI XVI Semana da Licenciatura em Matemática e 1ª Reunião Científica da Licenciatura	PS Artificial Intelligence
2005	Trabalho em evento	Um novo sistema dedutivo para uma lógica modulada Luiz Henrique Da Cruz SILVESTRINI; Hércules De Araújo FEITOSA VI Simpósio em Filosofia e Ciências	PS Artificial Intelligence
2005	Trabalho em evento	Uma apresentação em Tableaux para a Lógica do Plausível Luiz Henrique Da Cruz SILVESTRINI; Hércules De Araújo FEITOSA IV Simpósio Internacional Principia	PS Artificial Intelligence
2004	Trabalho em evento	Raciocínio Indutivo: uma alternativa às inferências dedutivas clássicas no processo de aquisição do conhecimento; segundo as lógicas moduladas Luiz Henrique Da Cruz SILVESTRINI XI Encontro Nacional de Filosofia da ANPOF	SH Linguistics and Language
2004	Trabalho em evento	O Método de Tableaux na discussão da validade dos argumentos indutivos; segundo a Lógica do Plausível Luiz Henrique Da Cruz SILVESTRINI VI Brazilian International Meeting of Cognitive Science	SH Language and Linguistics
2003	Trabalho em evento	Aspectos Históricos e Conceituais dos Sistemas Fuzzy Luiz Henrique Da Cruz SILVESTRINI V Simpósio em Filosofia e Ciência ISBN 8586738255	PS Computer Science Applications
2003	Trabalho em evento	Tableaux e a Lógica do Plausível Luiz Henrique Da Cruz SILVESTRINI 2º Encontro da pós-Graduação em Filosofia	SH Language and Linguistics
2003	Trabalho em evento	A Máquina de Turing e a Concepção de Algoritmo Luiz Henrique Da Cruz SILVESTRINI VII Colóquio Internacional Michel Debrun - Novas Tendências das Ciências Cognitivas no século XXI	PS Mathematics (miscellaneous)
2003	Trabalho em evento	Decisão via tablô para formas proposicionais não tautológicas Luiz Henrique Da Cruz SILVESTRINI V Encontro Brasileiro-Internacional de Ciência Cognitiva	SH Linguistics and Language

2013 Capítulo de livro

SH Education

Semântica de sociedades via quantificadores generalizados

Filosofia contemporânea: lógica; linguagem e Ciência

Luiz Henrique Da Cruz SILVESTRINI

ISBN 9788588072121

2013 Trabalho em evento

PS Artificial Intelligence

Evolutionary databases and quasi-truth: some relations via model theory

4th World Congress and School on Universal Logic

Luiz Henrique Da Cruz SILVESTRINI

ISBN 9788540006829

2013 Trabalho em evento

SH Language and Linguistics

Relações entre tableaux para formalizar a noção de 'poucos' em ambiente proposicional e de primeira ordem

II Congresso de Matemática Aplicada e Computacional - Sudeste

Luiz Henrique Da Cruz SILVESTRINI; Ana Claudia De Jesus GOLZIO

ISBN 2237-7166

2013 Trabalho em evento

SH Language and Linguistics

Tableaux para uma lógica quase-modulada do 'poucos'

II Congresso de Matemática Aplicada e Computacional - Sudeste

Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2237-7166

2013 Trabalho em evento

PS Mathematics (miscellaneous)

A equivalência dedutiva entre um sistema axiomático e um sistema de tableaux

XXV Semana da Licenciatura em Matemática

Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI

2013 Trabalho em evento

SH Language and Linguistics

Dedução em tableaux para uma lógica quase-modulada

XXV Congresso de Iniciação Científica da UNESP: Internacionalização - uma nova dimensão à formação acadêmica

Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2012 Trabalho em evento

SH Linguistics and Language

Inconsistências; sistemas formais e quantificadores modulados

Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI

2012 Trabalho em evento

SH Linguistics and Language

Semântica de sociedades via quantificadores generalizados

XV Encontro Nacional da ANPOF

Luiz Henrique Da Cruz SILVESTRINI

2011 Trabalho em evento

PS Artificial Intelligence

Uma lógica para a quase-verdade: axiomática; semântica de estruturas parciais e completude

Seventh Principia International Symposium

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO

2010 Trabalho em evento

SH Psychology (miscellaneous)

Pragmatic satisfaction and quasi-truth

World Congress and School on Universal Logic (3rd edition)

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO

ISBN 9789729928925

2010 Trabalho em evento

SH Language and Linguistics

Satisfação Pragmática: (re)definindo a quase-verdade de da Costa

XIV Encontro Nacional da ANPOF

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO

2009 Trabalho em evento

SH Philosophy

Quasi-truth theories and paraconsistent databases

CLE/AIPS event - Science; truth and Consistency

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Esteban CONIGLIO

ISBN 9788586497063

2008 Trabalho em evento

SH Language and Linguistics

Localizando pontos no tableau TLP

I Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI; Mauri Cunha Do NASCIMENTO

ISBN 9788599703281

2007 Trabalho em evento

SH Language and Linguistics

Algumas Lógicas Moduladas em Sistemas de Tableaux

V Simpósio Internacional PRINCIPIA

Luiz Henrique Da Cruz SILVESTRINI; Mariana Matulovic Da Silva FADEL

ISBN 9788587253156

2007 Artigo em periódico

PS Artificial Intelligence

Um Sistema de Tableaux Analíticos para a Lógica do Plausível

Revista Eletrônica Informação e Cognição

Luiz Henrique Da Cruz SILVESTRINI

DOI ISSN 1807-8281

2006 Trabalho em evento

PS Artificial Intelligence

Provadores automáticos de teoremas para alguns sistemas modulados

VII Encontro Brasileiro Internacional de Ciência Cognitiva

Luiz Henrique Da Cruz SILVESTRINI; Mariana Matulovic Da Silva FADEL

2005 Trabalho em evento

PS Artificial Intelligence

Uma lógica modulada num sistema de tableaux e o raciocínio indutivo por ela formalizado.

XVI Semana da Licenciatura em Matemática e 1ª Reunião Científica da Licenciatura

Luiz Henrique Da Cruz SILVESTRINI

2005 Trabalho em evento

PS Artificial Intelligence

Um novo sistema dedutivo para uma lógica modulada

VI Simpósio em Filosofia e Ciências

Luiz Henrique Da Cruz SILVESTRINI; Hércules De Araújo FEITOSA

2005 Trabalho em evento

PS Artificial Intelligence

Uma apresentação em Tableaux para a Lógica do Plausível

IV Simpósio Internacional Principia

Luiz Henrique Da Cruz SILVESTRINI; Hércules De Araújo FEITOSA

2004 Trabalho em evento

SH Linguistics and Language

Raciocínio Indutivo: uma alternativa às inferências dedutivas clássicas no processo de aquisição do conhecimento; segundo as lógicas moduladas

XI Encontro Nacional de Filosofia da ANPOF

Luiz Henrique Da Cruz SILVESTRINI

2004 Trabalho em evento

SH Language and Linguistics

O Método de Tableaux na discussão da validade dos argumentos indutivos; segundo a Lógica do Plausível

VI Brazilian International Meeting of Cognitive Science

Luiz Henrique Da Cruz SILVESTRINI

2003 Trabalho em evento

PS Computer Science Applications

Aspectos Históricos e Conceituais dos Sistemas Fuzzy

V Simpósio em Filosofia e Ciência

Luiz Henrique Da Cruz SILVESTRINI

ISBN 8586738255

2003 Trabalho em evento

SH Language and Linguistics

Tableaux e a Lógica do Plausível

2º Encontro da pós-Graduação em Filosofia

Luiz Henrique Da Cruz SILVESTRINI

2003 Trabalho em evento

PS Mathematics (miscellaneous)

A Máquina de Turing e a Concepção de Algoritmo

VII Colóquio Internacional Michel Debrun - Novas Tendências das Ciências Cognitivas no século XXI

Luiz Henrique Da Cruz SILVESTRINI

2003 Trabalho em evento

SH Linguistics and Language

Decisão via tablô para formas proposicionais não tautológicas

V Encontro Brasileiro-Internacional de Ciência Cognitiva

Luiz Henrique Da Cruz SILVESTRINI