Sound and Complete Inference Rules for SE-Consequence

Open in new window