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
2018	Trabalho em evento	Sobre a semântica da lógica LPT e da Lógica Proposicional Clássica Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI XXXVIII Congresso Nacional de Matemática Aplicada e Computacional ? CNMAC 2018 ISBN 2359-0793	SH Linguistics and Language
2018	Trabalho em evento	Sistema de Tableaux Aplicado à Lógica Trivalente e Intuicionista I¹ Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI III Encontro de Iniciação Científica e Tecnológica - III EnICT ISBN 2526-6772	PS Computer Science (miscellaneous)
2018	Trabalho em evento	A lógica LPT como uma extensão da lógica clássica Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI XXX Congresso de Iniciação Científica da Unesp ISBN 2178-860X	PS Computer Science (miscellaneous)
2018	Trabalho em evento	A lógica trivalente e intuicionista I1 em um sistema de tableaux Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI XXX Congresso de Iniciação Científica da Unesp - Segunda Fase ISBN 2178-860X	PS Artificial Intelligence
2018	Trabalho em evento	Regras de expansão e cláusulas de fechamento para o sistema TP1 Alexandre Morelli Alves De OLIVEIRA; Luiz Henrique Da Cruz SILVESTRINI XXX Congresso de Iniciação Científica da Unesp ISBN 2178-860X	PS Computer Science (miscellaneous)
2017	Capítulo de livro	Uma lógica paraconsistente das teorias de quase-verdade e algumas metapropriedades via traduções entre lógicas Luiz Henrique Da Cruz SILVESTRINI; Hercules De Araújo FEITOSA Informação; conhecimento e modelos ISBN 9788586497292	SH Language and Linguistics
2017	Trabalho em evento	Uma lógica paraconsistente de Semântica de Sociedades e a quase-verdade de Newton da Costa Luiz Henrique Da Cruz SILVESTRINI Congresso Nacional de Matemática Aplicada e Computacional ISBN 23590793	PS Logic
2017	Trabalho em evento	Teoria da prova e paraconsistência na lógica da relevância RM3 Luiz Henrique Da Cruz SILVESTRINI 18th Brazilian logic Conference	SH Psychology (miscellaneous)
2017	Trabalho em evento	Contribuições de atividades de raciocínio lógico para o desenvolvimento de habilidades matemáticas requeridas no Pisa 2015 Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Letícia Leite PAVANELLO IV Encontro Regional de Matemática Aplicada e Computacional	SH Psychology (miscellaneous)
2017	Trabalho em evento	O sistema TLR e a semântica de matrizes da lógica RM3 Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI IV Encontro Regional de Matemática Aplicada e Computacional	PS Computer Science (miscellaneous)
2017	Trabalho em evento	Os operadores lógicos-matemáticos e a linguagem natural Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES XIV Semana de Pedagogia: alfabetização e letramento no século XXI ISBN 9788582241349	SH Education
2017	Trabalho em evento	O sistema dos tableaux da relevância TLR a partir da semântica matricial da lógica da relevância RM3 Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI 1ª Fase do XXIX Congresso de Iniciação Científica da UNESP ISBN 2178-860X	SH Psychology (miscellaneous)
2017	Trabalho em evento	Raciocínio lógico e o uso de inferência para elucidação das situações do cotidiano às demonstrações matemáticas Penna Ana LAURA; Letícia Leite PAVANELLO; Luiz Henrique Da Cruz SILVESTRINI XXIX Congresso de Iniciação Científica da UNESP ISBN 2178-860X	SH Psychology (miscellaneous)
2017	Trabalho em evento	Introdução à lógica para alunos recém-egressos do ensino médio Ana Laura PENNA; Elias Oliveira Vieira Dos SANTOS; Letícia Leite PAVANELLO; Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI XXIX Semana da Licenciatura em Matemática	SH Education
2017	Trabalho em evento	O sistema de tableaux TLR apresentado como uma alternativa ao sistema axiomático RM3 Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI XXIX Semana da Licenciatura em Matemática	SH Education
2017	Trabalho em evento	*O método de tableaux analíticos aplicado à lógica LP com respeito à semântica apresentada por David Nelson** Luiz Henrique Da Cruz SILVESTRINI 10th Principia International Symposium	PS Artificial Intelligence
2017	Trabalho em evento	Raciocínio lógico para a compreensão das definições e fatos matemáticos (abstract; v. 1) Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Penna Ana LAURA VI Congresso Brasileiro de Educação ISBN 9788599703991	SH Education
2017	Trabalho em evento	Raciocínio lógico para a compreensão das definições e fatos matemáticos (full paper v. 4) Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Penna Ana LAURA VI Congresso Brasileiro de Educação	SH Education
2017	Artigo em periódico	Raciocínio lógico e as habilidades matemáticas nas edições da avaliação PISA (2012-2015) Luiz Henrique Da Cruz SILVESTRINI; Reicher Soares MARCELO; Penna Ana LAURA REVISTA ELETRÔNICA PAULISTA DE MATEMÁTICA DOI 10.21167/cqdvol10ermac201723169664lhcsmrsalp233240 ISSN 2316-9664	SH Education
2016	Capítulo de livro	On the logic of pragmatic truth Hercules De Araújo FEITOSA; Luiz Henrique Da Cruz SILVESTRINI Temas em filosofia contemporânea II. Coleção Rumos da Epistemologia ISBN 9788587253279	SH Philosophy
2016	Trabalho em evento	Inclusão racional; linguagem simbólica matemática e a formação de professores da educação básica Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES III Congresso Nacional de Formação de Professores (CNFP) e XIII Congresso Estadual Paulista sobre Formação de Educadores (CEPFE) ISBN 23593822	SH Education
2016	Trabalho em evento	Tableaux analíticos para a Lógica RM3 à lá Brady Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI Simpósio Internacional de Iniciação Científica e Tecnológica da USP	PS Artificial Intelligence
2016	Trabalho em evento	Sobre a lógica da relevância e sistemas de tableaux Luiz Henrique Da Cruz SILVESTRINI XVII Encontro Nacional da ANPOF	PS Artificial Intelligence
2016	Trabalho em evento	Uma lógica paraconsistente de semântica de sociedades e a quase-verdade de Newton da Costa Luiz Henrique Da Cruz SILVESTRINI XXXVI Congresso Nacional de Matemática Aplicada e Computacional	SH Philosophy
2016	Trabalho em evento	Raciocínio lógico e as demonstrações matemáticas Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Luis Felipe Salvador BOATO Encontro Regional de Matemática Aplicada e Computacional	SH Psychology (miscellaneous)

2018 Trabalho em evento

SH Linguistics and Language

Sobre a semântica da lógica LPT e da Lógica Proposicional Clássica

XXXVIII Congresso Nacional de Matemática Aplicada e Computacional ? CNMAC 2018

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2359-0793

2018 Trabalho em evento

PS Computer Science (miscellaneous)

Sistema de Tableaux Aplicado à Lógica Trivalente e Intuicionista I¹

III Encontro de Iniciação Científica e Tecnológica - III EnICT

Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2526-6772

2018 Trabalho em evento

PS Computer Science (miscellaneous)

A lógica LPT como uma extensão da lógica clássica

XXX Congresso de Iniciação Científica da Unesp

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2018 Trabalho em evento

PS Artificial Intelligence

A lógica trivalente e intuicionista I1 em um sistema de tableaux

XXX Congresso de Iniciação Científica da Unesp - Segunda Fase

Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2018 Trabalho em evento

PS Computer Science (miscellaneous)

Regras de expansão e cláusulas de fechamento para o sistema TP1

XXX Congresso de Iniciação Científica da Unesp

Alexandre Morelli Alves De OLIVEIRA; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2017 Capítulo de livro

SH Language and Linguistics

Uma lógica paraconsistente das teorias de quase-verdade e algumas metapropriedades via traduções entre lógicas

Informação; conhecimento e modelos

Luiz Henrique Da Cruz SILVESTRINI; Hercules De Araújo FEITOSA

ISBN 9788586497292

2017 Trabalho em evento

PS Logic

Uma lógica paraconsistente de Semântica de Sociedades e a quase-verdade de Newton da Costa

Congresso Nacional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI

ISBN 23590793

2017 Trabalho em evento

SH Psychology (miscellaneous)

Teoria da prova e paraconsistência na lógica da relevância RM3

18th Brazilian logic Conference

Luiz Henrique Da Cruz SILVESTRINI

2017 Trabalho em evento

SH Psychology (miscellaneous)

Contribuições de atividades de raciocínio lógico para o desenvolvimento de habilidades matemáticas requeridas no Pisa 2015

IV Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Letícia Leite PAVANELLO

2017 Trabalho em evento

PS Computer Science (miscellaneous)

O sistema TLR e a semântica de matrizes da lógica RM3

IV Encontro Regional de Matemática Aplicada e Computacional

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

2017 Trabalho em evento

SH Education

Os operadores lógicos-matemáticos e a linguagem natural

XIV Semana de Pedagogia: alfabetização e letramento no século XXI

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES

ISBN 9788582241349

2017 Trabalho em evento

SH Psychology (miscellaneous)

O sistema dos tableaux da relevância TLR a partir da semântica matricial da lógica da relevância RM3

1ª Fase do XXIX Congresso de Iniciação Científica da UNESP

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2017 Trabalho em evento

SH Psychology (miscellaneous)

Raciocínio lógico e o uso de inferência para elucidação das situações do cotidiano às demonstrações matemáticas

XXIX Congresso de Iniciação Científica da UNESP

Penna Ana LAURA; Letícia Leite PAVANELLO; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2017 Trabalho em evento

SH Education

Introdução à lógica para alunos recém-egressos do ensino médio

XXIX Semana da Licenciatura em Matemática

Ana Laura PENNA; Elias Oliveira Vieira Dos SANTOS; Letícia Leite PAVANELLO; Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

2017 Trabalho em evento

SH Education

O sistema de tableaux TLR apresentado como uma alternativa ao sistema axiomático RM3

XXIX Semana da Licenciatura em Matemática

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

2017 Trabalho em evento

PS Artificial Intelligence

O método de tableaux analíticos aplicado à lógica LP* com respeito à semântica apresentada por David Nelson

10th Principia International Symposium

Luiz Henrique Da Cruz SILVESTRINI

2017 Trabalho em evento

SH Education

Raciocínio lógico para a compreensão das definições e fatos matemáticos (abstract; v. 1)

VI Congresso Brasileiro de Educação

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Penna Ana LAURA

ISBN 9788599703991

2017 Trabalho em evento

SH Education

Raciocínio lógico para a compreensão das definições e fatos matemáticos (full paper v. 4)

VI Congresso Brasileiro de Educação

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Penna Ana LAURA

2017 Artigo em periódico

SH Education

Raciocínio lógico e as habilidades matemáticas nas edições da avaliação PISA (2012-2015)

REVISTA ELETRÔNICA PAULISTA DE MATEMÁTICA

Luiz Henrique Da Cruz SILVESTRINI; Reicher Soares MARCELO; Penna Ana LAURA

DOI ISSN 2316-9664

2016 Capítulo de livro

SH Philosophy

On the logic of pragmatic truth

Temas em filosofia contemporânea II. Coleção Rumos da Epistemologia

Hercules De Araújo FEITOSA; Luiz Henrique Da Cruz SILVESTRINI

ISBN 9788587253279

2016 Trabalho em evento

SH Education

Inclusão racional; linguagem simbólica matemática e a formação de professores da educação básica

III Congresso Nacional de Formação de Professores (CNFP) e XIII Congresso Estadual Paulista sobre Formação de Educadores (CEPFE)

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES

ISBN 23593822

2016 Trabalho em evento

PS Artificial Intelligence

Tableaux analíticos para a Lógica RM3 à lá Brady

Simpósio Internacional de Iniciação Científica e Tecnológica da USP

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

2016 Trabalho em evento

PS Artificial Intelligence

Sobre a lógica da relevância e sistemas de tableaux

XVII Encontro Nacional da ANPOF

Luiz Henrique Da Cruz SILVESTRINI

2016 Trabalho em evento

SH Philosophy

Uma lógica paraconsistente de semântica de sociedades e a quase-verdade de Newton da Costa

XXXVI Congresso Nacional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI

2016 Trabalho em evento

SH Psychology (miscellaneous)

Raciocínio lógico e as demonstrações matemáticas

Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Luis Felipe Salvador BOATO