14.12.2016 10:00 @ Applied Mathematical Logic
We will see how Riesz MV-algebras unit intervals of vector lattices provide a useful tool in the pursuit of a logical system that can have compact Hausdorff spaces as models. The starting point is the definition of a syntactical notion of limit which turns out to be equivalent to order convergence in the Lindenbaum-Tarski algebra of the logic considered.
21.12.2016 10:00 @ Applied Mathematical Logic