Proof Theory and Algebra in Substructural Logics.

Kazushige Terui

Published in: TABLEAUX (2011)

Keyphrases

proof theory
default reasoning
proof theoretic
propositional calculus
automated reasoning
reasoning problems
query language
data model
default logic
probabilistic reasoning
nonmonotonic reasoning
expert systems