Bolsa de PD em Lógica

Post-Doctoral Fellowship in Logic

• Resumo Summary

  O objetivo do projeto é generalizar as já conhecidas técnicas introduzidas por Blok e Pigozzi para a algebrização de lógicas no contexto de semânticas não-determinísticas.

  Em particular, envolve o estudo e desenvolvimento da teoria de hiper-reticulados (isto é, reticulados não-determinísticos), originalmente introduzida por José Morgado, visando a aplicação dessa teoria para uma possível generalização das ferramentas da Lógica Algébrica Abstrata (AAL).

  Esperam-se aplicações a lógicas paraconsistentes e paracompletas, incluindo as Lógicas da Inconsistência Formal (LFIs), as Lógicas de Evidência e Verdade (LETs), e lógicas modais de tipo Ivlev. Outros desenvolvimentos no projeto incluem o estudo de multiálgebras sob as perspectivas da Teoria das Categorias e da Álgebra Universal, bem como o desenvolvimento de semânticas de estruturas "swap" baseadas em álgebras ordenadas diversas.

  Os candidatos devem submeter a seguinte documentação:

  3.1) Um projeto de pesquisa nas linhas descritas acima (até 10 páginas, sem incluir as referências bibliográficas);

  3.2) Um currículo completo, incluindo a lista de publicações;

  3.3) Um currículo resumido (Currículo Lattes), nos moldes exigidos pela FAPESP: https://fapesp.br/sumula;

  3.4) Certificado de Conclusão de Doutorado.

  A vaga está aberta a brasileiros e estrangeiros. O selecionado receberá Bolsa de Pós-Doutorado da FAPESP no valor de R$ 12.000,00 mensais e Reserva Técnica equivalente a 10% do valor anual da bolsa para atender a despesas imprevistas e diretamente relacionadas à atividade de pesquisa.

  The aim of the project is to generalize the well-known techniques introduced by Blok and Pigozzi for the algebraization of logics to the context of non-deterministic semantics.

  In particular, it involves the study and development of the theory of hyperlattices (that is, non-deterministic lattices), originally introduced by José Morgado.

  The idea is to apply this theory to a potential generalization of the tools from Abstract Algebraic Logic (AAL). Applications are to paraconsistent and paracomplete logics, including Logics of Formal Inconsistency (LFIs), Logics of Evidence and Truth (LETs), and Ivlev-like modal logics.

  Other developments within the project include the study of hyperalgebras from the perspectives of Category Theory and Universal Algebra, as well as the development of swap structure semantics based on diverse ordered algebras.

  Candidates must submit the following documentation:

  3.1) A research project along the lines described above (up to 10 pages, without including the bibliographical references)

  3.2) A complete CV including a list of publications;

  3.3) A resumed CV (Curricular Summary) along the lines required by FAPESP:

  https://fapesp.br/6351/instructions-for-the-elaboration-of-a-curricular-summary

  3.4) Certification of Completion of the Doctoral Degree.

  The vacancy is open to Brazilians and foreigners. The selected candidate will receive a Post-Doctoral Fellowship from the São Paulo Research Foundation (FAPESP) in the amount of R$ 12,000.00 per month and a Technical Reserve equivalent to 10% of the annual value of the fellowship to cover unforeseen expenses directly related to the research activity.