Grupo de Lógica Matemática do IME-UFF

Grupo de Lógica Matemática do IME - UFF


Disciplinas . Eventos . Publicações . Seminários . Textos/Slides
English version

Pesquisadores

Renata de Freitas, IME-UFF
freitas at vm.uff.br
Currículo Lattes

Petrucio Viana, IME-UFF
petrucio at cos.ufrj.br
Currículo Lattes

Colaboradores

Alunos de Iniciação Científica

  • Sergio Felipe, IC
  • Mariana Ferreira, ICJ
  • Rodrigo Souto, PIBIC/CNPq
  • Laiz Valim, PIBIC/CNPq (trabalho selecionado entre os 10 melhores no Prêmio Vasconcellos Torres 2014)

Aluna de Desenvolvimento Acadêmico

  • Carolina Guimaraes, PBDA/UFF

Alumni


topo

Disciplinas


topo

Eventos

III CBSF
Terceiro Congresso Brasileiro de Sistemas Fuzzy

17 a 20 de agosto de 2014
João Pessoa, PB

WoLLIC 2014
21st Workshop on Logic, Language, Information and Computation

September 1-4, 2014
Valparaiso, Chile

LSFA 2014
9th Workshop on Logical and Semantic Frameworks, with Applications

September 8-9, 2014
Brasília, Brazil

Specifying, programming and verifying in Maude
A short-course by Professor Narciso Martí Oliet
(Universidad Complutense de Madrid)
22 a 26 de setembro de 2014
Instituto de Computação, UFF, Niterói, RJ

VII Semana da Matemática da UFF
16 a 18 de outubro de 2014
Niterói, RJ

CLA 2014
XX Coloquio Latinoamericano de Álgebra

December 8-12, 2014
Lima, Peru

1st Indian Winter School on Diagrams
January 27-31, 2015
Jadavpur University, Kolkata, India


topo

Publicações recentes

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, Decompositions by maxclique separators. Discrete Mathematics 337:119-126, 2014, doi:10.1016/j.disc.2014.07.020.

  • Juliana Küster Filipe Bowles and Petrucio Viana, On distributed stochastic logics for mobile systems. U. Kohlenbach et al. (Eds.): WoLLIC 2014, LNCS 8652:195-205, 2014.

  • Renata de Freitas, Leandro Suguitani and Petrucio Viana, Relation algebras throughout Galois connections. Forthcoming in V. Punochá and P. Danák (Eds.): The Logica Yearbook 2013. College Publications, London, 2014, pp. 49-62.

  • Renata de Freitas and Petrucio Viana, The second Venn diagrammatic system. T. Dwyer et al. (Eds.): Diagrams 2014, LNAI 8578:295-309, 2014.

  • Renata de Freitas and Petrucio Viana, A graph calculus for proving intuitionistic relation algebraic equations. Diagrams 2012, LNAI 7352:324-326, 2012.

  • Marcia R. Cerioli, Hugo Nobrega and 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 and 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 and 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 and Petrucio Viana, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA'10, ENTCS 269:95-107, 2011.

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, Decompositions by maxclique separators. 4th Latin American Workshop on Cliques in Graphs (LawCliques'10), Itaipava, November 16-19, 2010.

  • Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Renata de Freitas, Mario Benevides and Carla Delgado, On Vague Notions and Modalities: a modular approach. Logic Journal of the IGPL 18:381-402, 2010, doi:10.1093/jigpal/jzp041.


topo

Seminários

Quinzenalmente, quintas, 16h, Sala de Seminários do GAN (IME-UFF, 4o. andar).

  • 11/9/2014
    Não é possível ao homem encontrar a verdade das coisas
    Petrucio Viana (UFF)

    Neste seminário vamos apresentar formalizações do enunciado acima e usá-las para discutir o suposto paradoxo que é, usualmente, derivado a partir dele.

  • 2/10/2014
    Uma prova para o Teorema de Solèr
    Laiz Valim (Bolsista PIBIC)

  • 23/10/2014
    Aritmética dos reticulados
    Petrucio Viana (UFF)

  • 7/11/2014, excepcionalmente sexta, excepcionalmente 14h
    Equivalências (surpreendentes!) da Hipótese do Contínuo
    Samuel Gomes da Silva (UFBA)

    Nesta palestra apresentaremos três equivalências surpreendentes para a Hipótese do Contínuo (CH), mostrando que determinadas questões geométricas, combinatórias, probabilísticas e analíticas, apesar de possuírem enunciado bastante elementar, acabam sendo indecidíveis para a Matemática - exatamente por resultarem equivalentes à CH. Algumas dessas equivalências podem ainda ser encaradas, segundo determinados autores, como evidências empíricas contrárias à validade de CH. Apresentaremos a Decomposição do Plano de Sierpinski, os Dardos de Freiling e a Família de Funções Inteiras de Erdös.

  • 27/11/2014
    Towards a Multifarious Qualitative Analysis of Uncertainty in Reasoning
    Ivan José Varzinczak (UFRJ)

    The last few decades have seen the development of a whole variety of logics, extending or modifying classical logic to deal with many different notions and problems, motivated by philosophical as well as practical needs. These involve different modes of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete information and many others, usually referred to as qualitative uncertain reasoning (or, more commonly, nonmonotonic reasoning). Notwithstanding all the progress that has been achieved, some important facets of nonmonotonicity in logic have largely been overlooked or have only been partially treated so far. To witness, the literature on nonmonotonic reasoning has focused almost exclusively on nonmonotonicity of conditional forms; the question as to which notions of nonmonotonic entailment are most appropriate in given contexts remains open, and belief revision paradigms are largely restricted to an underlying classical (Tarskian) consequence relation. Moreover, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. Even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their qualitative computational nature remains a large avenue for exploration. Therefore, there is a need to investigate and design new general logical methods with which one can better understand, formalize and get to grips with the different aspects of nonmonotonicity in reasoning at all its different levels. In this talk we shall (i) attempt to depict a coherent picture of qualitative uncertain reasoning in all its forms; (ii) give an overview of our recent contributions towards such a unifying theory, and (iii) provide directions for further exploring the questions that still remain open.

    Key words: Logic; knowledge representation; qualitative analysis of uncertainty in reasoning; nonmonotonic reasoning; decision making.

  • 11/12/2014
    TBA
    Renata de Freitas (UFF)

2014a . 2013b . 2013a . 2012b . 2012a . 2011b . 2011a . 2010b . 2010a . 2009a . 2008b . 2008a . 2007b . 2007a . 2006 . 2005


topo

Textos/Slides

  • Mariana Ferreira e Petruco Viana, O Paradoxo da Verdade, Seminário Vasconcellos Torres de Ensino Médio 2014 - UFF [slides].

  • Renata de Freitas e Petruco Viana, A graph calculus for proving intuitionistic relation algebraic equations, IMLA'2013 [texto].

  • Petrucio Viana, Validade, Forma e Conteúdo de Argumentos. Manuscrito, 2012 [texto, versão preliminar].

  • Renata de Freitas e Petrucio Viana, Curso Básico de Lógica Matemática. Manuscrito, 2012 [texto, versão preliminar].

  • Márcia Cerioli e Petrucio Viana, Introdução à Combinatória de Contagem. Minicurso, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [texto].

  • Renata de Freitas e Petrucio Viana, Métodos de Prova. Minicurso, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [texto] [Aula 1] [Aula 2] [Aula 3] [Aula 4].

  • Márcia Cerioli, Renata de Freitas e Petrucio Viana, Princípio das Casas de Pombo, Jornal Dá Licença 48, UFF, Niterói, 2011, pp. 8-9 [texto, versão estendida].

  • Marcus Vinicius Angelo Reis e Petrucio Viana (orientador), Contando por Princípios, monografia do Curso de Especialização em Matemática para Professores do Ensino Médio, UFF, Niterói, 2010 [texto].


Atualizada em 16/10/2014.