Classical Predicative Logic-Enriched Type Theories

Robin Adams Zhaohui Luo

Published in: CoRR (2009)

Keyphrases

probability theory
logic programming
defeasible logic
closed world assumptions
real time
data sets
databases
neural network
expert systems
multi valued
classical logic
computational properties
causal reasoning
set theory
deontic logic
classical first order logic