 |
|
 Directories |
| |
|
|
|
|
Costa-Leite, Alexandre |
Popularity:  Hit: 155 | Visit: 4 |
|
|
PhD student, University of Neuchâtel. Interests: methods for combining logics, multi-dimensional modal logics, universal logic and non-classical logics.
Sponsored Links:
|
| URL: |
|
| Title: |
Homepage of Alexandre Costa-Leite |
| Description: |
Science Central - 495024 - alexandre fernandes batista costa leite alexandre costa-leite philosophy logic mathematics modal logics paraconsistent logics knowability combination of logics combining logics pictures universal logic category theory non-classical logics jumping into abstraction magic logician cle unine unicamp logica filosofia matematica logicas magica magic world congress on universal logic filosofia goiania goiania campinas neuchatel neuchatel amsterdam amsterdam young logician philosopher adventurer player magician jurist knowability paradox alexandre costa leite universal logic unilog |
| Category: |
|
|
 |
|
 |
|
 Related sites |
Aczel, Peter (Popularity: ): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Avigad, Jeremy (Popularity: ): Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of ...
Awodey, Steve (Popularity: ): Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Baldwin, John T. (Popularity: ): University of Illinois, Chicago - Model theory (finite and infinite).
Blass, Andreas R. (Popularity: ): University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
Bouscaren, Elisabeth (Popularity: ): CNRS / University of Paris 7 - Model theory and algebraic geometry.
Buechler, Steven (Popularity: ): University of Notre Dame - Model theory.
Burris, Stanley (Popularity: ): University of Waterloo - Universal algebra, logic, computers.
Buss, Samuel R. (Popularity: ): University of California, San Diego - Proof theory, computational complexity.
Carnielli, Walter A. (Popularity: ): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite ...
|
|
|
 |
|
 |
|
|
|
|
|
