University of Birmingham > Talks@bham > Theoretical computer science seminar > The value of the two values

## The value of the two valuesAdd 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. |
## Other listsLab Lunch Filling in the blank – I will be ….... in 2050’ Analysis Reading Seminar## Other talksUltrafast Spectroscopy and Microscopy as probes of Energy Materials TBA TBC Hunt for an Earth-twin Control variates for computing transport coefficients Horizontal Mean Curvature Flow and stochastic optimal controls |