Two λ-extensions of the theory of homogeneous simple types as a second-order logic.

Nino B. Cocchiarella

Published in: Notre Dame J. Formal Log. (1985)

Keyphrases

formal theory
real time
data sets
set theory
commonsense reasoning
artificial intelligence
logic programming
belief functions
multi valued
proof theory
knowledge representation formalisms