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