6 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LO2008
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…
cs.CL2004★ 6 cited
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
Jørgen Villadsen
We investigate the possibility of modelling the syntax and semantics of natural language by constraints, or rules, imposed by the multi-dimensional type theory Nabla. The only mult…
cs.LO2002★ 1 cited
A Paraconsistent Higher Order Logic
Jørgen Villadsen
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an…