程序公平是基于以下理论：
工具性理论：
这是由Thibaut和Walker在1975年提出的，主要关注个体在决策过程中对控制权的感知。工具性理论认为，如果人们认为他们能够在决策过程中发表自己的意见并影响结果，他们的公正感就会得到增强。
团体价值模型：
Lind和Tyler在1988年提出了这个模型，强调程序公正对于传达个体在组织中的关系和地位的重要性。该模型认为，个体关心公平是因为他们希望成为有价值的群体成员。
公平启发理论：
这个理论从认知角度解释程序公正的重要性，指出程序公正的信息可以帮助个体节省认知资源，从而更容易形成公正判断。
互动公正：
这是由Bies和Moag在1986年提出的概念，关注分配结果反馈执行时的人际互动方式对公正感的影响。互动公正涉及员工在与上级交往中所感受到的公平待遇程度。
这些理论从不同的角度探讨了程序公平的概念，包括个体对控制权的感知、群体关系与地位、认知资源的节省以及人际交往的公正性。这些理论为理解程序公平提供了全面的视角。