Prenex fragment of first-order intuitionistic logic and word unification

Speaker(s)

Aleksy Schubert

Affiliation

MIMUW

Date

Jan. 21, 2022, 12:15 p.m.

Room

room 5820

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

I will recall an old result by Gurevich and Voronkov connecting the monadic case in the prenex intuitionistic predicate logic with equality with word unification.

---