It’s a tag to disambiguate our formal logic from the informal common sense usage

It’s a tag to disambiguate our formal logic from the informal common sense usage. So P-logic (operational) vs Logic (sets), or P-Law (formal operational logic of natural law) vs Law (the kitchen sink). Law proper (tort) measures by property. Propertarian = P = P-prefix.