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
2016	Trabalho em evento	Um sistema dedutivo alternativo para a lógica do paradoxo Luiz Henrique Da Cruz SILVESTRINI; Kaique Fernando QUEIROZ Encontro Regional de Matemática Aplicada e Computacional	PS Artificial Intelligence
2016	Trabalho em evento	O método de tableaux aplicado à lógica da relevância Luiz Henrique Da Cruz SILVESTRINI; Luis Felipe Salvador BOATO Encontro Regional de Matemática Aplicada e Computacional	PS Artificial Intelligence
2016	Trabalho em evento	Tableaux para o sistema paraconsistente LP Luiz Henrique Da Cruz SILVESTRINI; Kaique Fernando QUEIROZ XXVIII Congresso de iniciação Científica da Unesp ISBN 2178860X	SH Education
2016	Trabalho em evento	Uma abordagem da lógica da relevância através do método de tableaux aplicado a RM3 Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI XXVIII Congresso de iniciação Científica da Unesp ISBN 2178860X	PS Artificial Intelligence
2016	Trabalho em evento	Linguagem formal e inferências: contribuições para a formação de professores Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Ana Laura PENNA XIII Semana de Pedagogia ? Educação & Democracia ISBN 9788582241202	SH Education
2016	Artigo em periódico	Satisfatibilidade lógica e a quase-verdade de Newton Da Costa Luiz Henrique Da Cruz SILVESTRINI Kínesis (Marília) ISSN 1984-8900	SH Psychology (miscellaneous)
2015	Capítulo de livro	Completude algébrica da lógica do quantificador 'muitos' Luiz Henrique Da Cruz SILVESTRINI; Hercules De Araújo FEITOSA; Camila Augusta VAINE Filosofia da Linguagem e da Lógica: Coleção XVI Encontro ANPOF ISBN 9788588072411	PS Artificial Intelligence
2015	Trabalho em evento	Raciocínio lógico e a linguagem artificial matemática Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Alessa DUA V Congresso Brasileiro de Educação: Pesquisa e Formação de Professores: políticas e programas ISBN 9788599703816	PS Artificial Intelligence
2015	Trabalho em evento	Raciocínio lógico como recurso metodológico e o legado da avaliação do Pisa Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Luis Felipe Salvador BOATO; Alessa DUA 8º Congresso de extensão universitária da UNESP ISBN 21769761	SH Education
2015	Trabalho em evento	Society semantics; quasi-truth and a three-valued logic Luiz Henrique Da Cruz SILVESTRINI Ninth Principia international Symposium	SH Social Sciences (miscellaneous)
2015	Trabalho em evento	On the logic of pragmatic truth Hercules De Araújo FEITOSA; Luiz Henrique Da Cruz SILVESTRINI Ninth Principia international Symposium	PS Artificial Intelligence
2015	Trabalho em evento	Society semantics as the logic of quasi-truth Luiz Henrique Da Cruz SILVESTRINI 10th Brazilian International Meeting on Cognitive Science	SH Social Sciences (miscellaneous)
2015	Trabalho em evento	Sobre Condicionais e a avaliação PISA Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Luis Felipe Salvador BOATO; Alessa DUA XXVII Semana da Licenciatura em Matemática e 2º Encontro de Formação em Tecnologias Digitais ISBN 9788599703854	SH Education
2015	Trabalho em evento	Um sistema dedutivo em tableaux para a lógica do paradoxo LP Luiz Henrique Da Cruz SILVESTRINI; Kaique Fernando QUEIROZ XXVII Semana da Licenciatura em Matemática e 2º Encontro de Formação em Tecnologias Digitais ISBN 978859970385	PS Computer Science (miscellaneous)
2015	Trabalho em evento	Automated Deduction for Paradox Logic LP Kaique Fernando QUEIROZ; Luiz Henrique Da Cruz SILVESTRINI 9th International Meeting on information; Knowledge and Action ISBN 2447-7494	PS Artificial Intelligence
2015	Trabalho em evento	A tableaux system for the generic reasoning logic Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI 9th International Meeting on information; Knowledge and Action ISBN 2447-7494	PS Artificial Intelligence
2015	Trabalho em evento	Modelos parciais na ciência: a quase verdade de da Costa Luiz Henrique Da Cruz SILVESTRINI 9th International Meeting on information; Knowledge and Action ISBN 2447-7494	SH Arts and Humanities (miscellaneous)
2015	Trabalho em evento	A lógica do paradoxo e o método dedutivo dos tableaux Kaique Fernando QUEIROZ; Luiz Henrique Da Cruz SILVESTRINI XXVII Congresso de Iniciação Científica da Unesp ISBN 2178-860X	SH Language and Linguistics
2015	Trabalho em evento	A adequação do sistema de Tableaux TL¿ Silva Helen G DA; Luiz Henrique Da Cruz SILVESTRINI XXXV CNMAC Congresso Nacional de Matemática Aplicada e Computacional DOI 10.5540/03.2015.003.01.0112	PS Applied Mathematics
2015	Trabalho em evento	Quantificadores modulados e o método da semântica de sociedades Luiz Henrique Da Cruz SILVESTRINI XXXV CNMAC Congresso Nacional de Matemática Aplicada e Computacional DOI 10.5540/03.2015.003.01.0111	PS Applied Mathematics
2014	Trabalho em evento	A lógica dos ultrafiltros em um sistema de tableaux Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI XXVI Congresso de Iniciação Científica da UNESP ISBN 2178-860X	PS Artificial Intelligence
2014	Trabalho em evento	A adequação do sistema de Tableaux TLK Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI XXXV Congresso Nacional de Matemática Aplicada e Computacional - CNMAC 2014	PS Computer Science (miscellaneous)
2014	Trabalho em evento	Quantificadores Modulados e o Método da Semântica de Sociedades Luiz Henrique Da Cruz SILVESTRINI XXXV Congresso Nacional de Matemática Aplicada e Computacional - CNMAC 2014	SH Psychology (miscellaneous)
2014	Artigo em periódico	An alternative approach for quasi-truth Marcelo Esteban CONIGLIO; Luiz Henrique Da Cruz SILVESTRINI Logic Journal of the IGPL (Online) DOI 10.1093/jigpal/jzt026 ISSN 1368-9894	PS Artificial Intelligence
2014	Artigo em periódico	Confrontando propriedades lógicas em um contexto de lógica universal Hercules De Araújo FEITOSA; Mauri Cunho Do NASCIMENTO; Luiz Henrique Da Cruz SILVESTRINI Cognitio: Revista de Filosofia ISSN 2316-5278	PS Artificial Intelligence

2016 Trabalho em evento

PS Artificial Intelligence

Um sistema dedutivo alternativo para a lógica do paradoxo

Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI; Kaique Fernando QUEIROZ

2016 Trabalho em evento

PS Artificial Intelligence

O método de tableaux aplicado à lógica da relevância

Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI; Luis Felipe Salvador BOATO

2016 Trabalho em evento

SH Education

Tableaux para o sistema paraconsistente LP

XXVIII Congresso de iniciação Científica da Unesp

Luiz Henrique Da Cruz SILVESTRINI; Kaique Fernando QUEIROZ

ISBN 2178860X

2016 Trabalho em evento

PS Artificial Intelligence

Uma abordagem da lógica da relevância através do método de tableaux aplicado a RM3

XXVIII Congresso de iniciação Científica da Unesp

Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178860X

2016 Trabalho em evento

SH Education

Linguagem formal e inferências: contribuições para a formação de professores

XIII Semana de Pedagogia ? Educação & Democracia

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Ana Laura PENNA

ISBN 9788582241202

2016 Artigo em periódico

SH Psychology (miscellaneous)

Satisfatibilidade lógica e a quase-verdade de Newton Da Costa

Kínesis (Marília)

Luiz Henrique Da Cruz SILVESTRINI

ISSN 1984-8900

2015 Capítulo de livro

PS Artificial Intelligence

Completude algébrica da lógica do quantificador 'muitos'

Filosofia da Linguagem e da Lógica: Coleção XVI Encontro ANPOF

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

ISBN 9788588072411

2015 Trabalho em evento

PS Artificial Intelligence

Raciocínio lógico e a linguagem artificial matemática

V Congresso Brasileiro de Educação: Pesquisa e Formação de Professores: políticas e programas

Luiz Henrique Da Cruz SILVESTRINI; Marcelo Reicher SOARES; Alessa DUA

ISBN 9788599703816

2015 Trabalho em evento

SH Education

Raciocínio lógico como recurso metodológico e o legado da avaliação do Pisa

8º Congresso de extensão universitária da UNESP

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

ISBN 21769761

2015 Trabalho em evento

SH Social Sciences (miscellaneous)

Society semantics; quasi-truth and a three-valued logic

Ninth Principia international Symposium

Luiz Henrique Da Cruz SILVESTRINI

2015 Trabalho em evento

PS Artificial Intelligence

On the logic of pragmatic truth

Ninth Principia international Symposium

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

2015 Trabalho em evento

SH Social Sciences (miscellaneous)

Society semantics as the logic of quasi-truth

10th Brazilian International Meeting on Cognitive Science

Luiz Henrique Da Cruz SILVESTRINI

2015 Trabalho em evento

SH Education

Sobre Condicionais e a avaliação PISA

XXVII Semana da Licenciatura em Matemática e 2º Encontro de Formação em Tecnologias Digitais

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

ISBN 9788599703854

2015 Trabalho em evento

PS Computer Science (miscellaneous)

Um sistema dedutivo em tableaux para a lógica do paradoxo LP

XXVII Semana da Licenciatura em Matemática e 2º Encontro de Formação em Tecnologias Digitais

Luiz Henrique Da Cruz SILVESTRINI; Kaique Fernando QUEIROZ

ISBN 978859970385

2015 Trabalho em evento

PS Artificial Intelligence

Automated Deduction for Paradox Logic LP

9th International Meeting on information; Knowledge and Action

Kaique Fernando QUEIROZ; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2447-7494

2015 Trabalho em evento

PS Artificial Intelligence

A tableaux system for the generic reasoning logic

9th International Meeting on information; Knowledge and Action

Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2447-7494

2015 Trabalho em evento

SH Arts and Humanities (miscellaneous)

Modelos parciais na ciência: a quase verdade de da Costa

9th International Meeting on information; Knowledge and Action

Luiz Henrique Da Cruz SILVESTRINI

ISBN 2447-7494

2015 Trabalho em evento

SH Language and Linguistics

A lógica do paradoxo e o método dedutivo dos tableaux

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

Kaique Fernando QUEIROZ; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2015 Trabalho em evento

PS Applied Mathematics

A adequação do sistema de Tableaux TL¿

XXXV CNMAC Congresso Nacional de Matemática Aplicada e Computacional

Silva Helen G DA; Luiz Henrique Da Cruz SILVESTRINI

DOI

2015 Trabalho em evento

PS Applied Mathematics

Quantificadores modulados e o método da semântica de sociedades

XXXV CNMAC Congresso Nacional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI

DOI

2014 Trabalho em evento

PS Artificial Intelligence

A lógica dos ultrafiltros em um sistema de tableaux

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

Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI

ISBN 2178-860X

2014 Trabalho em evento

PS Computer Science (miscellaneous)

A adequação do sistema de Tableaux TLK

XXXV Congresso Nacional de Matemática Aplicada e Computacional - CNMAC 2014

Helen Gomes Da SILVA; Luiz Henrique Da Cruz SILVESTRINI

2014 Trabalho em evento

SH Psychology (miscellaneous)

Quantificadores Modulados e o Método da Semântica de Sociedades

XXXV Congresso Nacional de Matemática Aplicada e Computacional - CNMAC 2014

Luiz Henrique Da Cruz SILVESTRINI

2014 Artigo em periódico

PS Artificial Intelligence

An alternative approach for quasi-truth

Logic Journal of the IGPL (Online)

Marcelo Esteban CONIGLIO; Luiz Henrique Da Cruz SILVESTRINI

DOI ISSN 1368-9894

2014 Artigo em periódico

PS Artificial Intelligence

Confrontando propriedades lógicas em um contexto de lógica universal

Cognitio: Revista de Filosofia

Hercules De Araújo FEITOSA; Mauri Cunho Do NASCIMENTO; Luiz Henrique Da Cruz SILVESTRINI

ISSN 2316-5278