Villadsen, Jørgen
- A Paraconsistent Higher Order Logic
2002/07/25 by Jørgen Villadsen, Villadsen, Jørgen · 1 citation
Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.1 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.LO