Return to Article Details Properties of the logical consequence operation and its relationship with the independence of propositional logic Download Download PDF