Multideductive logic and the theoretic-formal unification of physical theories

de Souza

pp. 253-262

in: Synthese 125, 2000.

Abstract

We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.