About: Walter Carnielli

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Brazilian logician

Property	Value
dbo:description	brasiliansk matematikar (nn) brasiliansk matematiker (da) brasiliansk matematiker (sv) ریاضی‌دان برزیلی (fa) wiskundige uit Brazilië (nl) brasilianischer Mathematiker und Philosoph (de) Brazilian logician (en) Filósofo, lógico e matemático brasileiro (pt) lógico y matemático brasileño (es)
dbo:thumbnail	wiki-commons:Special:FilePath/Walter_Carnielli.jpg?width=300
dbo:wikiPageExternalLink	https://dx.doi.org/10.1016/j.jal.2004.07.016 http://www.ifch.unicamp.br/pos/filosofia/index.php%3Ftexto=walter&menu=menudocente http://www.premiojabuti.org.br/BR/notas/2fase/relatorio_MELHOR_LIVRO_DE_CIENCIAS_EXATAS,_TECNOLOGIA_E_INFORMATICA.html http://www.elsevier.com/wps/find/journaldescription.cws_home/672712/description%23description http://www.unicamp.br/unicamp/ http://www.humboldt-foundation.de/automat_db/pub_humboldtiana2.humboldtiana_index_pub%3Fp_year=2000&p_group=1&p_fg2=2A http://www.it.pt/person_detail_p.asp%3Fid=1896 http://www.cle.unicamp.br/prof/carnielli/ http://www.agencia.fapesp.br/boletim_dentro.php%3Fid=8041 http://plato.stanford.edu/entries/logic-combining/
dbo:wikiPageWikiLink	dbr:Cristina_Sernadas dbr:File:Walter_Carnielli.jpg dbr:Philosopher dbc:Brazilian_logicians dbc:20th-century_Brazilian_philosophers dbr:Leon_Henkin dbc:Brazilian_philosophers dbr:Proof_theory dbr:Combinatorics dbc:20th-century_Brazilian_mathematicians dbr:Brazil dbc:1952_births dbc:Living_people dbr:Logician dbr:Paraconsistent_logic dbr:Many-valued_logic dbr:Model_theory dbr:Discrete_Mathematics_(journal) dbr:Studia_Logica dbr:Campinas dbr:Mathematician dbr:Semantics dbr:Alexander_von_Humboldt_Foundation dbr:Newton_da_Costa dbr:Journal_of_Applied_Non-Classical_Logics dbr:Sergei_N._Artemov dbr:Quantum_computer dbr:University_of_California_at_Berkeley dbr:A._S._Avila_Garcez dbr:The_Journal_of_Symbolic_Logic
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_web dbt:Reflist dbt:More_footnotes_needed dbt:Refend dbt:Refbegin dbt:Short_description
dct:subject	dbc:Brazilian_logicians dbc:20th-century_Brazilian_philosophers dbc:20th-century_Brazilian_mathematicians dbc:1952_births dbc:Living_people
gold:hypernym	dbr:Mathematician
schema:sameAs	http://viaf.org/viaf/5009512
rdf:type	owl:Thing owl:Thing
rdfs:label	Walter Carnielli (en) Walter Carnielli (pt)
owl:sameAs	http://viaf.org/viaf/5009512 freebase:Walter Carnielli yago-res:Walter Carnielli wikidata:Walter Carnielli dbpedia-pt:Walter Carnielli https://orcid.org/0000-0003-0524-2917 http://d-nb.info/gnd/1014998530 http://d-nb.info/gnd/1090196946 http://d-nb.info/gnd/185948723 https://dblp.org/pid/00/3799 http://data.bibliotheken.nl/id/thes/p074026283 dbpedia-global:Walter Carnielli dbr:Walter Carnielli
prov:wasDerivedFrom	wikipedia-en:Walter_Carnielli?oldid=1295059729&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Walter_Carnielli.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Walter_Carnielli
is dbo:doctoralStudent of	dbr:Newton_da_Costa
is dbo:wikiPageWikiLink of	dbr:Cristina_Sernadas dbr:List_of_people_by_Erdős_number dbr:Jean-Yves_Béziau dbr:Intuitionistic_logic dbr:Paraconsistent_logic dbr:Lorenzo_Magnani dbr:Method_of_analytic_tableaux dbr:List_of_philosophers_born_in_the_20th_century dbr:Newton_da_Costa
is dbp:doctoralStudents of	dbr:Newton_da_Costa
is foaf:primaryTopic of	wikipedia-en:Walter_Carnielli