Positive Frege and its Scott-style semantics.

Published in: Math. Log. Q. (2008)

Keyphrases

formal semantics
positive and negative
expert systems
logic programming
conceptual model
real time
semantic information
positively correlated
neural network
real world
data structure
proof theory