Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog - Skolem normal form - Document - PDFSEARCH.IO

First Page	Meta Content
	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Document Date: 2011-01-28 11:35:50 Open Document File Size: 110,76 KB Share Result on Facebook City HOL / / IndustryTerm proof search algorithms / theorems and algorithms / / Person Martin Davis / Peter Andrews / Hardin Kirchner / Nicolaas de Bruijn / Leon Henkin / J. Alan Robinson / Claude Kirchner / Dale Miller / / / Technology proof search algorithms / / SocialTag Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic

Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analogAdd to Reading List