A Proof-theoretic Characterization of Independence in Type Theory.

Yuting Wang Kaustuv Chaudhuri

Published in: TLCA (2015)

Keyphrases

proof theoretic
proof theory
default reasoning
linear logic
nonmonotonic reasoning
fixpoint
model theoretic
constraint logic programming
object oriented
operational semantics
machine learning
artificial intelligence
natural language
expert systems
programming language
deductive databases