Algebraic proof theory for substructural logics: Cut-elimination and completions.

Agata Ciabattoni Nikolaos Galatos Kazushige Terui

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

proof theory
cut elimination
proof theoretic
default reasoning
automated reasoning
linear logic
reasoning problems
sequent calculus
intuitionistic logic
wide class
partial order
sufficient conditions
nonmonotonic reasoning