6 citations · 7 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.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…