Renata Pereira de Freitas

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.

É da imprensa e quer entrar em contato? Fale com a Assessoria de Imprensa da UFF

Publicações

Revista: Journal of Logic, Language and Information
Título Anoordem crescente doi Idioma
Set Venn Diagrams Applied to Inclusions and Non-inclusions 2015 10.1007/s10849-015-9227-2 Inglês
Revista: Lecture Notes in Computer Science (Internet)
Título Anoordem crescente Idioma
The second Venn diagrammatic system 2014 Inglês
Revista: Revista PIBIC (online)
Título Anoordem crescente Idioma
Resolução do exemplo clássico do Lema de Borel-Cantelli: o Problema do Macaco. 2012 Português
Revista: Lecture Notes in Computer Science
Título Anoordem crescente Idioma
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations 2012 Inglês
Revista: Electronic Notes in Theoretical Computer Science
Título Anoordem crescente doi Idioma
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition 2011 10.1016/j.entcs.2011.03.008 Inglês
Revista: Logic Journal of the IGPL (Print)
Título Anoordem crescente doi Idioma
On vague notions and modalities: a modular approach 2010 10.1093/jigpal/jzp041 Inglês
Revista: Information and Computation
Título Anoordem crescente doi Idioma
On graph reasoning? 2009 10.1016/j.ic.2008.11.004 Inglês
Revista: Science of Computer Programming
Título Anoordem crescente doi Idioma
A note on proofs with graphs 2008 10.1016/j.scico.2008.08.002 Inglês
Revista: Journal of Philosophical Logic
Título Anoordem crescente 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
Revista: Logic Journal of the IGPL
Título Anoordem crescente doi Idioma
On Positive Relational Calculi 2007 10.1093/jigpal/jzm054 Inglês
An Application of Logic Engineering 2005 Inglês
Revista: Logical Studies
Título Anoordem crescente Idioma
What is classical propositional logic? (A study in universal logic) 2001 Inglês
Revista: Bulletin of Symbolic Logic
Título Anoordem crescente Idioma
On modularity and interpolation in general pi-institution 1999 Inglês