Classical second-order intensional logic with maximal propositions.

Charles B. Daniels James B. Freeman

Published in: J. Philos. Log. (1977)

Keyphrases

higher order
truth values
modal logic
quantum computation
probability theory
logic programming
classical logic
horn logic
search engine
high order
query evaluation
classical first order logic
context dependent
inference rules
database
integrity constraints
data model
learning algorithm
neural network
data sets