Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:University_of_Campinas
|
| gptkbp:birthPlace |
gptkb:Campinas
|
| gptkbp:birthYear |
1952
|
| gptkbp:doctoralAdvisor |
gptkb:Newton_da_Costa
|
| gptkbp:doctoralStudent |
Marcelo Coniglio
|
| gptkbp:employer |
gptkb:State_University_of_Campinas
|
| gptkbp:field |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Walter Carnielli
|
| gptkbp:knownFor |
paraconsistent logic
non-classical logics combination of logics possible-translations semantics |
| gptkbp:memberOf |
gptkb:Academia_Europaea
gptkb:Brazilian_Academy_of_Philosophy |
| gptkbp:nationality |
gptkb:Brazilian
|
| gptkbp:occupation |
gptkb:logic
gptkb:mathematician gptkb:philosopher |
| gptkbp:bfsParent |
gptkb:The_Dialogical_Roots_of_Deduction
|
| gptkbp:bfsLayer |
7
|