The MathResource
LPC,
abbrev. for lower predicate calculus.