Algebra|Coalgebra Seminar
This page concerns the Algebra|Coalgebra Seminar, which presently runs on
a weekly basis at the
Institute for Logic, Language &
Computation of the Universiteit van Amsterdam.
Its participants are the members of the
Algebra & Coalgebra
project group headed by
Dr Yde Venema, and guests.
Contents of this page
- In principle, meetings will be on Wednesday afternoons,
from 15.00-17.00, in the Faculty of Science Building, Science Park,
Amsterdam.
Directions can be found here.
- Wednesday November 25, 2009
Coordinates: 15.00-17.00, A106
Speaker: Chris Heunen (Oxford)
Title: Quantifiers are modal in quantum logic
Abstract:
We consider categories satisfying the quite weak property of
having so-called dagger kernels. It turns out that their subobject
lattices model quantum logic. In particular, this approach enables us to
define and study quantifiers. We find that there can be no universal
quantifier in general. But there is an existential quantifier, which
turns out to behave like a modal operator.
- Wednesday October 21, 2009
Coordinates: 15.00-17.00, A108
Speaker: Clemens Kupke (London)
Title: Tableaux Games for Coalgebraic Logics.
- Wednesday October 28, 2009
Coordinates: 15.00-17.00, A106
Speaker: Lutz Schroeder (Bremen)
Title: Coalgebraic Correspondence Theory.
- Wednesday November 4, 2009
Coordinates: 15.00-17.00, A106
Speaker: Aquil Khan
Title: An Algebraic Semantics for the Logic of Multiple-Source
Approximation Systems.
- Wednesday November 11, 2009
Coordinates: 15.00-17.00, A106
Speaker: Katsuhiko Sano
Title: Hybrid Completeness for Neighborhood Semantics
-
Thursday November 19, 2009
Coordinates: 14.30-16.00, A110
Speaker: Ivano Ciardelli
Title: Inquisitive semantics and logic
(This will be a joint session with the Dynamics Seminar)