The value of the two values

Add to your list(s) Download to your calendar using vCal

• João Marcos, Universidade Federal do Rio Grande do Norte
• Wednesday 18 July 2012, 16:00-17:00
• B01 Mechanical Engineering.

If you have a question about this talk, please contact Paul Levy.

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 talk 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, it will also be proposed a combination mechanism from which it would result in a very natural way.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• B01 Mechanical Engineering
• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.