Also, first-order predicate calculus isn't good enough anyway.
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.