Prenex fragment of first-order intuitionistic logic and word unification

Prelegent(ci)

Aleksy Schubert

Afiliacja

MIMUW

Termin

21 stycznia 2022 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

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.

---