It's not Formal Systems.

Formal Systems is the study of logical systems themselves.

Ruliology is a study of what actual systems do.

It's doing the arithmetic computations and looking at the results, not the abstract algebra.