A short proof that adding some permutation rules to β preserves SN.

Published in: Theor. Comput. Sci. (2011)

Keyphrases

logical rules
linear logic
case study
decision rules
rule sets
databases
real world
first order logic
rule learning
rule generation
argumentation schemes