Login / Signup
Some proof-theoretic contributions to theories of sets.
Gerhard Jäger
Published in:
Logic Colloquium (1985)
Keyphrases
</>
proof theoretic
nonmonotonic reasoning
linear logic
model theoretic
constraint logic programming
proof theory
default reasoning
cut elimination
artificial intelligence
natural language
np complete