Difference between revisions of "Differential extension of propositional calculus"