Translate

14.6.11

22/06 - Sérgio Nobre

A Matemática no Brasil - possibilidades para a investigação sobre sua história

Sergio Nobre
Depto. de Matemática - UNESP, Rio Claro

Resumo: Nesta apresentação iremos discorrer sobre a pesquisa em História
da Matemática no Brasil, especificamente sobre a História da Matemática
produzida no Brasil.

Quarta-feira 22 de junho às 16hs

17/06 (sexta-feira, excepcionalmente) - João Marcos

sexta-feira 17 de junho às 16hs

The Value of the Two Values

João Marcos
LoLITA / DIMAp, UFRN

Bilattices have proven again and again to be extremely rich
structures from a logical point of view. As a matter of fact,
even if we fix the canonical notion of many-valued entailment and
consider the smallest non-trivial bilattice, distinct logics may
be defined according to the chosen ontological or epistemological
reading of the underlying truth-values. This note will explore
the consequence relations of two variants of Belnap's well-known
4-valued logic, and delve into their interrelationship.
The strategy will be that of reformulating those logics using only
two `logical values', by way of uniform classic-like semantical
and proof-theoretical frameworks, with the help of which such
logics can be more easily compared to each other. For a different
reading of Belnap's logic, we will also propose a combination
mechanism from which it would result in a very natural way.

2.6.11

06/06 (segunda-feira, excepcionalmente) - Martin Figallo

"Investigações acerca da Lógica Tetravalente Modal de Monteiro"

Martin Figallo
Universidad Nacional del Sur, Bahia Blanca, Argentina

Resumo

"A classe das Algebras Tetravalentes Modais (TMA) foi considerada,
pela primera vez, por A. Monteiro, e foi principalmente estudada por
I. Loureiro, A.V. Figallo, A. Ziliani e P. Landini. Posteriormente,
J.M. Font e M. Rius nteressaram-se pelas lógicas originadas pelos
aspectos teórico-algébricos destas álgebras. Os mesmos autores
introduziram um cálculo de sequentes para uma destas lógicas: a lógica
que tem como matriz a TMA-algebra com quatro elementos e um dos seus
filtros primos, denotada TML.
Neste trabalho, em co-autoria com M.E. Coniglio e A. Ziliani, nos
focaremos nas propriedades lógicas de TML. Provaremos que seu cálculo
de sequentes associado não tem a propriedade de eliminação do corte.
Mostraremos que TML é uma lógica paraconsistente 4-valorada: ainda
mais, é uma genuina LFI (Lógica da Inconsistência Formal). Dentre
outras coisas, mostraremos a existência de um teorema DAT
(Derivability Adjustment Theorem) com relação à lógica proposicional
clássica, y que TML não é funcionalmente completa. Finalmente,
exibiremos uma apresentação no estilo Hilbert para TML em termos da
implicação contraposta, mostrando uma versão fraca do Meta-teorema da
dedução."