Jorge Petrúcio Viana

Publicações

Artigos em revista

  1. Renata P. de Freitas e Petrucio Viana. A note on Proofs with Graphs. Science of Computer Programing, to appear.

  2. Paulo A.S. Veloso, Sheila R.M. Veloso Petrucio Viana, Renata P. de Freitas, Mario Benevides, e Carla Delgado. On vague notions and modalities: a modular approach. Journal of Logic and Computation, to appear.

  3. Renata P. de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso e Petrucio Viana. On positive relational calculi. Logic Journal of the IGPL, vol. 15, n. 5-6, 2007, pp. 577-601.

  4. Paulo A.S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides, e Sheila R.M. Veloso. On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic, vol. 36, n. 5, 2007, pp. 489-509.

  5. Balder ten Cate, Maarten Marx, e Petrucio Viana. Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL, vol. 13, n. 2, 2005, pp. 293-300.

  6. R.P. de Freitas, J.P. Viana, M.R.F. Benevides, S.R.M. Veloso e P.A.S. Veloso. Squares in Fork Arrow Logic, Journal of Philosophical Logic, vol. 32, n. 4, 2003, pp. 343-355.

  7. J.-Y. Béziau, R.P. de Freitas e J.P. Viana. What is Classical Propositional Logic? (A Study in Universal Logic) Logical Studies, vol. 7, 2001.

    8. Trabalhos publicados em anais de congresso

  8. Renata P. de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, e Petrucio Viana. Reasoning with graphs. In 13th Workshop on Logic, Language, Information and Computation, (WoLLIC06), Center for the Study of Language and Information (CSLI), Stanford University, July 18th to 21st, 2006.

  9. Renata P. de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, e Petrucio Viana. On positive relational Calculi. In XIV Brazilian Logic Conference (EBL'06), Parque Nacional do Itatiaia, 24 a 28 de abril de 2006.

  10. W. Kuijper e J.P. Viana, An application of Sahlqvist Theory to Hybrid Logic, 15th European Summer School in Logic Language and Information (ESSLLI-2003), Student Section, 18 a 29 de agosto de 2003, Viena, Austria, pp. 149-158. (Proceedings: pdf, zip)

  11. R.P. de Freitas, P.A.S. Veloso, J.P. Viana, S.R.M. Veloso e M.R.F. Benevides, On the Expressive Power of Fork Arrow Logic, Em V Workshop de Métodos Formais (WMF'02), Gramado, 15 a 16 de outubro de 2002, pp. 84-99. (ps)

    Também disponível como Relatório Técnico ES 582/02, Programa de Engenharia de Sistemas e Computação, COPPE-UFRJ, Rio de Janeiro, Junho de 2002.

  12. R.P. de Freitas, J.P. Viana, P.A.S. Veloso, S.R.M. Veloso e M.R.F. Benevides, On Hybrid Arrow Logic, Em IV Workshop on Hybrid Logics (HyLo@LICS), "Workshop" afiliado ao VII Simpósio Anual da IEEE em Lógica em Ciência da Computação (LICS'02), Copenhagen, Dinamarca, 22 a 25 de julho de 2002, pp. 53-67. (ps)

    Também disponível como J.P. Viana, R.P. de Freitas, P.A.S. Veloso, S.R.M. Veloso e M.R.F. Benevides, Hybridizing Square Arrow Logic, Relatório Técnico ES 564/01, Programa de Engenharia de Sistemas e Computação, COPPE-UFRJ, Rio de Janeiro, Dezembro de 2001.

  13. R.P. de Freitas e J.P. Viana, A completeness result for Relation Algebra with Binders, IX Workshop on Logic, Language, Information and Computation (WoLLIC'02), Rio de Janeiro, 30 de julho a 02 de agosto de 2002, Eletronic Notes in Theoretical Computer Science (ENTCS), vol. 67.

  14. R.P. de Freitas, S.R.M. Veloso e J.P. Viana, Ternary Relation Algebras, XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'02), Nova Friburgo, 2002, p. 161.

  15. M. Benevides, R.P. de Freitas, J.P. Viana, S.R.M. Veloso e P.A.S. Veloso, Axiomatization and Completeness for Fork Arrow Logic, IV Workshop de Métodos Formais (WMF'01), Rio de Janeiro, 2001, pp. 1-12.

    Também disponível como M.R.F. Benevides, R.P. de Freitas, P.A.S. Veloso, S.R.M. Veloso e J.P. Viana, Fork Arrow Logic: Axiomatization and Completeness, Relatório Técnico ES 546/01, Programa de Engenharia de Sistemas e Computação, COPPE-UFRJ, Rio de Janeiro, Abril de 2001.

  16. R.P. de Freitas, J.P. Viana, M. Benevides, P.A.S. Veloso e S.R.M. Veloso, Squares in Fork Modal Logic, VIII Workshop on Logic, Language, Information, and Computation (WoLLIC'01), Brasília, 2001, pp. 77-86.

    Também disponível como Infinite Squares in Fork Arrow Logic, Relatório Técnico ES 548/01, Programa de Engenharia de Sistemas e Computação, COPPE-UFRJ, Rio de Janeiro, Maio de 2001.

  17. R.P. de Freitas e J.P. Viana, Normality of Generalized Modal Operators, XXIV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'01), Belo Horizonte, 2001, p. 244.

  18. J.P. Viana, S.R.M. Veloso e P.A.S. Veloso, Schematic systems, Logic Journal of the IGPL, vol. 5, issue 6, 1997, pp. 917-919.

    Livro em congresso

  19. R.P. de Freitas e J.P. Viana, Introdução à Lógica Modal, III Encontro Regional de Matemática Aplicada e Computacional (ERMAC'94), SBMAC- UFF, Niterói, 1994.

    Tese de doutorado


  20. J.P. Viana, Extensões não Lógicas do Cálculo Relacional, COPPE/UFRJ, Rio de Janeiro, 2005.

    Tese de Mestrado

  21. J.P. Viana, Sobre Esquemas de Indução, COPPE/UFRJ, Rio de Janeiro, 1994.

Atualizado em 21/12/2008.