Interlaced Lattices
|
Wed, 30/11/2011 16:00 |
Umberto Rivieccio (University of Birmingham) |
Analytic Topology in Mathematics and Computer Science  |
L3 |
| I will give an overview of some of the most interesting algebraic-lattice theoretical results on bilattices. I will focus in particular on the product construction that is used to represent a subclass of bilattices, the so-called 'interlaced bilattices', mentioning some alternative strategies to prove such a result. If time allows, I will discuss other algebras of logic related to bilattices (e.g., Nelson lattices) and their product representation. | |||