Nominalistic Logic (Extended Abstract)

Jørgen Villadsen

Nominalistic Logic (NL) is a new presentation of Paul Gilmore's Intensional Type Theory (ITT) as a sequent calculus together with a succinct nominalization axiom (N) that permits n…