Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.

Published in: Stud Logica (2013)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
description logics
computational properties
decision procedures
cp nets
intuitionistic logic