possui graduação em Matemática pela Universidade Federal Fluminense (1985), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1994) e doutorado (sanduiche) em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro/Universiteit van Amsterdam (2005). Atualmente é Professor Associado do Departamento de Análise do Instituto de Matemática da Universidade Federal Fluminense e colabora com os grupos de Métodos Formais e de Algoritmos e Combinatória, do Programa de Engenharia de Sistemas e Computação, da COPPE/UFRJ. Tem experiência nas áreas de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas; e Matemática, com ênfase em Álgebra, Matemática Discreta e Combinatória. Atua principalmente nos seguintes temas: aspectos lógicos da teoria dos grafos, fundamentos da combinatória, lógica matemática, lógica modal, raciocínio com diagramas, semântica relacional e sistemas formais relacionais.
Jorge Petrúcio Viana
Plataforma Lattes
É da imprensa e quer entrar em contato? Fale com a Assessoria de Imprensa da UFF
Publicações
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On the (In)Dependence of the Peano Axioms for Natural Numbers | 2021 | 10.1080/01445340.2021.1971005 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On admissible orders over closed subintervals of [0,1] | 2020 | 10.1016/j.fss.2020.02.009 | Inglês |
| 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 |
doi | Idioma |
|---|---|---|---|
| The second Venn diagrammatic system | 2014 | Inglês | |
| On distributed stochastic logics for mobile systems | 2014 | Inglês | |
| A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations | 2012 | Inglês | |
| A calculus for graphs with complement | 2010 | 10.1007/978-3-642-14600-8 | Inglês |
| Positive Fork Graph Calculus | 2009 | 10.1007/978-3-540-92687-0_11 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| Decomposition by maxclique separators | 2014 | 10.1016/j.disc.2014.07.020 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| Propositional Dynamic Logic with Storing, Recovering and Parallel Composition | 2011 | Inglês | |
| Propositional Dynamic Logic with Storing, Recovering and Parallel Composition | 2011 | 10.1016/j.entcs.2011.03.008 | Inglês |
| Introducing Polymodal Neighbourhood Logics | 2009 | 10.1016/j.entcs.2009.07.048 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On characterizations by nice forbidding sets | 2011 | 10.1016/j.endm.2011.09.039 | | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| On vague notions and modalities: a modular approach | 2010 | 10.1093/jigpal/jzp041 | Inglês |
| On Positive Relational Calculi | 2007 | 10.1093/jigpal/jzm054 | Inglês |
| Título |
Ano |
Idioma |
|---|---|---|
| Decompositions by maxclique separators | 2010 | Portuguê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 Proof 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 | 10.1023/a:1024847106313 | Inglês |
| Título |
Ano |
doi | Idioma |
|---|---|---|---|
| Hybrid logics with Sahlqvist axioms | 2005 | 10.1093/jigpal/jzi024 | Inglês |
| Schematic systems | 1997 | Inglês |
| Título |
Ano |
Idioma |
|---|---|---|
| What is classical propositional logic? | 2001 | Inglês |