Jorge Petrúcio Viana

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.

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

Publicações

Revista: Logic Journal of the IGPL
Título Anoordem decrescente doi Idioma
Schematic systems 1997 Inglês
Hybrid logics with Sahlqvist axioms 2005 10.1093/jigpal/jzi024 Inglês
Revista: Logical Studies
Título Anoordem decrescente Idioma
What is classical propositional logic? 2001 Inglês
Revista: Journal of Philosophical Logic
Título Anoordem decrescente doi Idioma
Squares in Fork Arrow Logic 2003 10.1023/a:1024847106313 Inglês
On fork arrow logic and its expressive power 2007 10.1007/s10992-006-9043-x Inglês
Revista: Logic Journal of the IGPL (Print)
Título Anoordem decrescente doi Idioma
On Positive Relational Calculi 2007 10.1093/jigpal/jzm054 Inglês
On vague notions and modalities: a modular approach 2010 10.1093/jigpal/jzp041 Inglês
Revista: Science of Computer Programming
Título Anoordem decrescente doi Idioma
A note on Proof with Graphs 2008 10.1016/j.scico.2008.08.002 Inglês
Revista: Lecture Notes in Computer Science
Título Anoordem decrescente doi Idioma
Positive Fork Graph Calculus 2009 10.1007/978-3-540-92687-0_11 Inglês
A calculus for graphs with complement 2010 10.1007/978-3-642-14600-8 Inglês
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations 2012 Inglês
The second Venn diagrammatic system 2014 Inglês
On distributed stochastic logics for mobile systems 2014 Inglês
Revista: Information and Computation
Título Anoordem decrescente doi Idioma
On Graph Reasoning 2009 10.1016/j.ic.2008.11.004 Inglês
Revista: Electronic Notes in Theoretical Computer Science
Título Anoordem decrescente doi Idioma
Introducing Polymodal Neighbourhood Logics 2009 10.1016/j.entcs.2009.07.048 Inglês
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition 2011 10.1016/j.entcs.2011.03.008 Inglês
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition 2011 Inglês
Revista: MATEMATICA CONTEMPORANEA
Título Anoordem decrescente Idioma
Decompositions by maxclique separators 2010 Português
Revista: ELECTRONIC NOTES IN DISCRETE MATHEMATICS
Título Anoordem decrescente doi Idioma
On characterizations by nice forbidding sets 2011 10.1016/j.endm.2011.09.039 | Inglês
Revista: DISCRETE MATHEMATICS
Título Anoordem decrescente doi Idioma
Decomposition by maxclique separators 2014 10.1016/j.disc.2014.07.020 Inglês
Revista: Journal of Logic, Language and Information
Título Anoordem decrescente doi Idioma
Set Venn Diagrams Applied to Inclusions and Non-inclusions 2015 10.1007/s10849-015-9227-2 Inglês
Revista: FUZZY SETS AND SYSTEMS
Título Anoordem decrescente doi Idioma
On admissible orders over closed subintervals of [0,1] 2020 10.1016/j.fss.2020.02.009 Inglês
Revista: HISTORY AND PHILOSOPHY OF LOGIC
Título Anoordem decrescente doi Idioma
On the (In)Dependence of the Peano Axioms for Natural Numbers 2021 10.1080/01445340.2021.1971005 Inglês