Intuitionistic Layered Graph Logic: Semantics and Proof Theory.

Simon Docherty David J. Pym

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
cut elimination
linear logic
theorem prover
reasoning problems
graph theory
logical equivalence
classical logic
intuitionistic logic
tree decomposition
computational complexity
logical framework
fixed point
logic programming