Formal Reasoning about Influence in Natural Sciences Experiments

We present a simple calculus for deriving statements about the local behaviour of partial, continuous functions over the reals, within a collection of such functions associated with the elements of a finite partial order. The motivation for this work is drawn from an attempt to foster digitalisation in secondary-eduction classrooms, in particular in experimental lessons in natural science classes. This provides a way to formally model experiments and to automatically derive the truth of hypotheses made about certain phenomena in such experiments. The proof calculus turns out to be sound in general, complete for a large class of formal experiment models, and is decidble in polynomial time. This is joint work with Florian Bruse, Sören Möller and Shahla Rasulzade from the University of Kassel. Contributed talk given by Martin Lange

Authors

• Martin Lange

Keywords

No keywords are indexed for this paper.