Busca avançada
Ano de início
Entree

UNILOG'2013 - 4th World Congress and School on Universal Logic

Resumo

Da mesma forma que a álgebra universal é uma teoria geral das estruturas algébricas, a lógica universal é uma teoria geral de estruturas lógicas. Durante o século 20, numerosas lógicas foram criadas: lógica intuicionista, lógica deôntica, lógica polivalente, lógica relevante, lógica linear, lógica não-monotônica etc. A lógica universal não é uma nova lógica, é uma forma de unificar essa multiplicidade de lógicas, com o desenvolvimento de ferramentas e conceitos gerais que podem ser aplicados às lógicas em geral. Um dos objetivos da lógica universal é determinar o domínio de validade dos metateoremas (p.e., o teorema da completude) e dar formulações gerais de metateoremas. A lógica universal pode também ser vista como uma caixa de ferramentas para a produção de lógicas específicas, adequadas a determinadas situações como, por exemplo, uma lógica deôntica paraconsistente temporal. Este evento será constituído por uma escola de lógica e um congresso. A escola oferecerá mais de 20 tutoriais sobre uma ampla gama de assuntos. O evento contará com conferencistas brasileiros e estrangeiros convidados de reconhecida competência, e com comunicações submetidas, organizadas em vários workshops. A Escola de Lógica versará sobre variados temas da lógica universal. Os tutoriais apresentarão técnicas gerais úteis para um estudo abrangente dos numerosos sistemas da lógica existentes na literatura. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)