Zoom Talk: Vit Punčochář (Prag)
Please contact email@example.com for the password.
Algebraic structure of intuitionistic information types
In this talk I will build on the work of Ivano Ciardelli and Gianluca Grilletti on first order inquisitive logic. I will distinguish between a concrete piece of information and an information type. Information types correspond to questions in inquisitive logic and they can be viewed as sets of information pieces. They can be expressed in an object language via the operators known as inquisitive disjunction and inquisitive existential quantifier. In the talk I will present an algebraic semantics for first order intuitionistic logic with constant domains extended with information types.