A paraconsistent higher order logic (2004)

by J Villadsen
Venue:Artificial Intelligence and Symbolic Mathematical Computation