13. Conectivos de restauração local

Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP). Publicado em: 2012

14. Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel

Biblioteca Digital de Teses e Dissertações da UFRGS. Publicado em: 2012

15. Modelagem matemática de um reator de leito fixo para a síntese de anidrido ftálico e controle utilizando estratégias convencionais e lógica fuzzy

Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP). Publicado em: 2013

16. Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação

Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP). Publicado em: 2012

17. Semantica de sociedades para logicas n-valentes

Not informed.

Publicado em: 2001

18. Um estudo de C omega em calculo de sequentes e dedução natural

Following Raggio s 1968 and 1978 papers on Cn1w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition

Publicado em: 2001

19. O USO DOS JOGOS DE LÓGICA NO ENSINO DA MATEMÁTICA

O presente artigo visa analisar o uso dos jogos de lógica como ferramenta de auxílio no ensino da matemática, em que através de avaliações escritas e o uso de jogos de lógica, buscou-se ajudar os professores e alunos do 5º ano do Ensino Fundamental I, da respectiva disciplina. Ao final, concluiu-se que esses jogos puderam contribuir no ensino dessa m

Publicado em: 17/03/2014

20. Lógicas de inconsistência formal e não-monotonicidade

Orientador: Walter Alexandre Carnielli

Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP). Publicado em: 2014

21. O metodo dos isomorfismos parciais e a caracterização algebrica da expressabilidade matematica

Não encontrado

Publicado em: 1988

22. Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Repositório Institucional da UNESP. Publicado em: 2014

23. Ensino de matemática e a prática da lógica do cálculo: a proposta de Ursula Marianne Simons

O ensino da matemática vem sendo palco de diversos estudos na área da educação, os altos índices de reprovação, bem como o tão falado “medo da matemática”, impulsionam estudos nesse sentido, porém, poucos são os estudos no que se referem ao ensino da matemática em sua base, ou seja, a como se dá o ensino da matemática nos anos iniciais do E

Repositório Institucional do Centro Universitário La Salle. Publicado em: 2014

24. Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Repositório Institucional da UNESP. Publicado em: 2012