Mathematical Logic Group
IME - UFF

versão em português

---

Group . Talks . Events . Publications

---

top Members

Renata de Freitas, IME-UFF	Petrucio Viana, IME-UFF

Students

• Leandro Suguitani, CLE-UNICAMP
  
• Sergio Bastos, PIBIC-UFF
  
• Danilo Souza, GAN-UFF
  
• Vinicius Henriques, GAN-UFF
  

Guests

• Carlos Lopez Pombo, Universidad de Buenos Aires
  
• Isabel Cafezeiro, DCC-UFF
  
• Jean-Yves Béziau, IFCS-UFRJ
  
• João Marcos, DIMAp-UFRN
  
• Maria da Paz Nunes de Medeiros, Depto. Filosofia-UFRN
  

---

top Talks

• UNILOG'2013 Tutorial [day 1] [day 2].
  
  
• SLALM 2012 presentation [slides].
  
  
• RA-Galois Connections [slides].
  
  

---

top Events

Unilog 2013
4th World Congress and School on Universal Logic
29 March - 7 April, 2013
Rio de Janeiro


IMLA - Rio 2013
6th Workshop on Intuitionistic Modal Logic and Applications
April 7th, 2013
Rio de Janeiro





SLALM 2012
XV Latin-American Symposium on Mathematical Logic
4-6 June, 2012
Bogotá, Colombia


3rd World Congress on the Square of Opposition
26-29 June, 2012
Beirut, Lebanon


Diagrams 2012
VII International Conference on the Theory and Applications of Diagrams
2-6 July, 2012
Canterbury, UK


WoLLIC 2012
19th Workshop on Logic, Language, Information and Computation
3-6 September, 2012
University of Buenos Aires, Argentina


First International Conference on Logic and Relativity:
honoring István Németi's 70th birthday
8-12 September, 2012
Budapest


LSFA 2012
7th Workshop on Logical and Semantic Frameworks, with Applications
29 e 30 de setembro de 2012
Rio de Janeiro

---

top Recent publications

• Renata de Freitas, Petrucio Viana, A graph calculus for proving intuitionistic relation algebraic equations, Diagrams 2012, LNAI 7352:324-326 (2012).
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, On characterizations by nice forbidding sets, European Conference on Combinatorics,Graph Theory and Applications (EuroComb'11), Budapest, August 29-September 2, 2011.
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, A partial characterization by forbidden subgraphs of edge path graphs, 10th Cologne-Twente Workshopon graphs and combinatorial optimization, Villa Mondragone, Frascati, June 14-16, 2011.
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, Characterizations by nice forbidding sets. In Brazilian Logic Conference, 2011, Petrópolis. XVI EBL - 16th Brazilian Logic Conference - Abstracts, 2011, p. 102.
  
  
• Mario Benevides, Renata de Freitas e Petrucio Viana, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition, LSFA'10, ENTCS 269:95-107 (2011).
  
  
• Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Renata de Freitas, Mario Benevides e Carla Delgado, On Vague Notions and Modalities: a modular approach, Logic Journal of the IGPL 18:381-402 (2010), doi:10.1093/jigpal/jzp041.
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, A calculus for graphs with complement, Diagrams 2010, LNCS 6170:84-98 (2010).
  
  
• Renata de Freitas et al., On graph reasoning, Information and Computation 207:1000-1014 (2009), doi:10.1016/j.ic.2008.11.004.
  
  
• Renata de Freitas, Sheila R.M. Veloso, Paulo A.S. Veloso, Petrucio Viana, Positive Fork Graph Calculus. In Proceedings of the International Symposium on Logical Foundations of Computer Science (LFCS'09), 3-6 January 2009, Deerfield Beach, FL, USA, Lectures Notes in Computer Science (LNCS) 5407:152-163, 2009, ISSN 0302-9743, DOI 10.1007/978-3-540-92687-0. [slides]
  
  
• Renata de Freitas, Petrucio Viana, Introducing Polymodal Neighbourhood Semantics. In Proceedings of the Third Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08), August 26 2008, Salvador, BA, ENTCS, Volume 247, pp. 51-66.
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, and Petrucio Viana, On a Graph Calculus for Algebras of Relations. In Proceedings of the 15th Workshop on Logic, Language, Information and Computation (WoLLIC'08), Edinburgh, Scotland, Lectures Notes in Artificial Intelligence (LNAI) 5110:298-312, 2008.
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, and Petrucio Viana, Positive Fork Graph Calculus. In Annals of XV Brazilian Logic Conference (EBL'08) / XIV Latin-American Symposium on Mathematical Logic (SLALM'08), Paraty, Brazil. [slides]
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, and Petrucio Viana, On Positive Relational Calculi, Logic Journal of the IGPL, vol. 15, pp. 577-601, 2007, DOI 10.1093/jigpal/jzm054.
  
  
• Paulo A.S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides and Sheila R.M. Veloso, On Fork Arrow Logic and its Expressive Power, Journal of Philosophical Logic, vol. 36(5), 2007, pp. 489-509, DOI 10.1007/s10992-006-9043-x.
  

---

Last Updated: 4/23/2013.