Walter Carnielli

The face

The background

Nationality:

Brazilian

Schools:

Many-valued logics, Paraconsistent logics, Logics of formal inconsistency

Branchs:

Proof theory, Semantics, Combinatorics, Modulated logics, Model theory, Non-classical logics, Foundations of quantum computation, Combinations of logics

The synopsis