A theory of interlocking principles (RR-STG-D-POS-RP-003)

A theory of interlocking is developed, starting from the plain language harmonised description of European interlocking systems proposed by the A201 Harmonisation Committee of ERRI. The theory is presented in axiomatic form as a first-order, many-sorted predicate logic, with details of the different signalling areas to which it applies abstracted...