Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.

Paul E. Oppenheimer Edward N. Zalta

Published in: J. Log. Comput. (2011)

Keyphrases

multi valued
logic programming
real time
neural network
genetic algorithm
search engine
knowledge base
website
multi agent
integrity constraints
semantic relations
probability theory
predicate logic
algebraic structure
relation algebra