Skip to content

Overhaul

Bruno requested to merge overhaul into master

Created by: leonweber

  • Fixed discrepancies between text and summary table. I ommitted the obvious results (provability of T3 and counter-satisfiability of MC) and I also didn't mention the counter-satisfiability of A2' in AOE'. Do you think we should mention the last one?
  • Added figure depicting Anderson's simplification. Here I am not sure which naming convention would apply to the definition of positive. What do you think?
  • Moved definitions from footnotes into text. This may need some further shifting around for cosmetic reasons.

Merge request reports