A substitution free axiom set for second order logic.

Nino B. Cocchiarella

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

Keyphrases

information retrieval
small number
modal logic
partially ordered
databases
real world
database systems
expert systems
relational databases
higher order
truth values