Proof theory of witnessed Gödel logic: A negative result.

Matthias Baaz Agata Ciabattoni

Published in: J. Log. Comput. (2016)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
positive and negative
natural language
computational properties
cut elimination