Seminar series
Date
Wed, 30 Nov 2011
Time
16:00 -
17:30
Location
L3
Speaker
Umberto Rivieccio
Organisation
University of Birmingham
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.