Login / Signup
Some Proof Theoretic Results Depending on Context from the Perspective of Graded Consequence.
Soma Dutta
Mihir K. Chakraborty
Published in:
RSFDGrC (2009)
Keyphrases
</>
proof theoretic
nonmonotonic reasoning
natural language
expert systems
linear logic
proof theory