Moulines, C. U. Axiomatic Typlogy of Empirical Theories. CRHF 2018, 17, 41-69.