Abstract

We axiomatize the foundations of experimental statistical sciences by introducing a logico-algebro-geometric formalism related to the notions of state preparation and test procedures, that is well defined acts performed on states that lead to one of a possible finite number of results. We relate the formalism to existing partial structures and construct explict examples. A few general results about the formalism are demonstrated