Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams.

Published in: Diagrams (2018)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
natural language
learning algorithm
first order logic
belief revision
partial order
logical equivalence