On linear rewriting systems for Boolean logic and some applications to proof theory.

Anupam Das Lutz Straßburger

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

boolean logic
proof theory
rewriting systems
default reasoning
truth values
belief revision
automated reasoning
database
rewriting rules