Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Zoom Talk: Vit Punčochář (Prag)

Meeting ID: 980 1222 9580

11.11.2021 at 16:15 

Please contact 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.