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.

Quer entrar em contato? Fale com a Assessoria de Imprensa da UFF

Publicações

Revista: HISTORY AND PHILOSOPHY OF LOGIC
Título Anoordem crescente doi Idioma
On the (In)Dependence of the Peano Axioms for Natural Numbers 2021 10.1080/01445340.2021.1971005 Inglês
Revista: FUZZY SETS AND SYSTEMS
Título Anoordem crescente doi Idioma
On admissible orders over closed subintervals of [0,1] 2020 10.1016/j.fss.2020.02.009 Inglês
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
Título Anoordem crescente 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
Revista: DISCRETE MATHEMATICS
Título Anoordem crescente doi Idioma
Decomposition by maxclique separators 2014 10.1016/j.disc.2014.07.020 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 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
Revista: ELECTRONIC NOTES IN DISCRETE MATHEMATICS
Título Anoordem crescente doi Idioma
On characterizations by nice forbidding sets 2011 10.1016/j.endm.2011.09.039 | 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
On Positive Relational Calculi 2007 10.1093/jigpal/jzm054 Inglês
Revista: MATEMATICA CONTEMPORANEA
Título Anoordem crescente Idioma
Decompositions by maxclique separators 2010 Portuguê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 Proof 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 10.1023/a:1024847106313 Inglês
Revista: Logic Journal of the IGPL
Título Anoordem crescente doi Idioma
Hybrid logics with Sahlqvist axioms 2005 10.1093/jigpal/jzi024 Inglês
Schematic systems 1997 Inglês
Revista: Logical Studies
Título Anoordem crescente Idioma
What is classical propositional logic? 2001 Inglês