Intuitionistic Layered Graph Logic: Semantics and Proof Theory.

Simon Docherty David J. Pym

Published in: CoRR (2017)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
cut elimination
theorem prover
reasoning problems
linear logic
graphical representation
logical equivalence
artificial intelligence
cp nets
fuzzy numbers
theorem proving
graph theory
belief revision
logic programs
knowledge base