The theory of homogeneous simple types as a second-order logic.

Nino B. Cocchiarella

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

Keyphrases

logic programming
set theory
formal theory
theoretical framework
theoretical basis
commonsense reasoning
higher order
high order
automated reasoning
multi valued
computer algebra
proof theoretic