possui graduação em Licenciatura em Matemática pela Universidade Federal Fluminense (1991), mestrado (1997) e doutorado (2002) em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro. Atualmente é professor associado da Universidade Federal Fluminense. Trabalha em Lógica Matemática, atuando principalmente nos seguintes temas: lógica modal, álgebra relacional e raciocínio com diagramas.
Renata Pereira de Freitas
Plataforma Lattes
É da imprensa e quer entrar em contato? Fale com a Assessoria de Imprensa da UFF
Publicações
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| Set Venn Diagrams Applied to Inclusions and Non-inclusions | 2015 | 10.1007/s10849-015-9227-2 | Inglês |
| Título |
Ano |
Idioma |
|---|---|---|
| The second Venn diagrammatic system | 2014 | Inglês |
| Título |
Ano |
Idioma |
|---|---|---|
| Resolução do exemplo clássico do Lema de Borel-Cantelli: o Problema do Macaco. | 2012 | Português |
| Título |
Ano |
Idioma |
|---|---|---|
| A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations | 2012 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| Propositional Dynamic Logic with Storing, Recovering and Parallel Composition | 2011 | 10.1016/j.entcs.2011.03.008 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On vague notions and modalities: a modular approach | 2010 | 10.1093/jigpal/jzp041 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On graph reasoning? | 2009 | 10.1016/j.ic.2008.11.004 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| A note on proofs with graphs | 2008 | 10.1016/j.scico.2008.08.002 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On fork arrow logic and its expressive power | 2007 | 10.1007/s10992-006-9043-x | Inglês |
| Squares in Fork Arrow Logic | 2003 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On Positive Relational Calculi | 2007 | 10.1093/jigpal/jzm054 | Inglês |
| An Application of Logic Engineering | 2005 | Inglês |
| Título |
Ano |
Idioma |
|---|---|---|
| What is classical propositional logic? (A study in universal logic) | 2001 | Inglês |
| Título |
Ano |
Idioma |
|---|---|---|
| On modularity and interpolation in general pi-institution | 1999 | Inglês |