Inquisitive Heyting algebras (Q2062213)

The author introduces a class of inquisitive Heyting algebras as algebraic structures of inquisitive superintuitionistic logics. These algebras are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. The author gives some equivalent characterizations of Heyting algebras. For instance, a Heyting algebra is inquisitive if and only if its prime filters and filters generated by sets of prime elements coincide and prime elements are closed under relative pseudocomplement. The author also characterized soundness of the weakest inquisitive superintuitionistic logic\(^{*}\) in terms of inquisitive Heyting algebras. That is, the weakest inquisitive superintuitionistic logic is sound with respect to a Heyting algebra iff the algebra is a homomorphic \(p\)-image of some inquisitive Heyting algebra. Moreover, the author shows that a logic is inquisitive iff its Lindenbaum-Tarski algebra is an inquisitive Heyting algebra.