Browsing by Advisor Carnielli, Walter Alexandre, 1952-

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 1 to 20 of 31  next >
PreviewIssue DateTitleAuthor(s)AdvisorType
2016Kant e a geometriaCampos, Luis Cláudio Balan de, 1967-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO DIGITAL
2014Lógicas de inconsistência formal e não-monotonicidadeCholodovskis, Ana Flávia de Faria, 1988-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2005Logics of formal inconsistencyAlmeida, João Marcos deCarnielli, Walter Alexandre, 1952-; Caleiro, Carlos M. C. L; Carnieli, Walter Alexandre; Caleiro, Carlos M. C. L.TESE
2014Revisitando o Teorema de FregeAlmeida, Henrique Antunes, 1989-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2003Paraconsistencia, modalidades e cognoscibilidadeLeite, Alexandre Fernandes Batista CostaCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2009Computação paraconsistente : uma abordagem logica a computação quanticaAgudelo, Juan Carlos AgudeloCarnielli, Walter Alexandre, 1952-TESE
1999Semanticas de traduções possiveisAlmeida, João Marcos deCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
1999Logicas moduladas e raciocinio sob incertezaGracio, Maria Claudia CabriniCarnielli, Walter Alexandre, 1952-TESE
2011Sistemas, pressuposições e implicaturas = uma investigação exploratória, lógica e filosóficaOliveira, Antonio Marmo da Cunha, 1969-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2015Lógica, probabilidade e consequênciaPreto, Sandro Márcio da Silva, 1988-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO DIGITAL
1995O problema das hipertorres e partições polarizadas finitas e infinitasMonte Carmelo, Emerson Luiz doCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2011Uma abordagem modelo-teórica da computabilidade de Turing clássicaAraújo, AndersonCarnielli, Walter Alexandre, 1952-TESE
2013A lógica e a metafísica dos enigmas : surpresa, espanto e informaçãoGorsky, Samir, 1981-Carnielli, Walter Alexandre, 1952-TESE
1996Algoritmos abstratos e seu significado para a matematicaPela, Ruben AlekxanderCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2003Crenças não ditas, ditos de crençasCunha, Denise Maria Maldonado daCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2018Condicionais contrafatuais e contrapossíveisCâmara, Igor de Camargo e Souza, 1991-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO DIGITAL
2008Entre o racional e o justo : a logica e as sentenças judiciaisGomes, Fabricio VasconcelosCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2018Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistênciaCarrasqueira Zanei, Pedro Henrique, 1983-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO DIGITAL
2008Logicas da inconsistencia formal quantificadasPodiacki, RodrigoCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2006Da computação paraconsistente a computação quanticaAgudelo, Juan Carlos AgudeloCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO