Skip to main content

Home

This week

Next week

@ Roger Stevens LT 14 (10M.14), online
Logic

Rosalie Iemhoff (Utrecht University) – Skolemization and quantifier shifts

The Skolemization method in first-order logic is a well-known translation on formulas that makes explicit the implicit functions hidden in quantifier combinations ∀∃. It is an important tool in certain areas in computer science but it also has intriguing properties […]