predicate logic with equality
I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
In this paper, we gave the definition of truth degree based on the interval interpretation of first-order fuzzy predicate logic( or first-order fuzzy language) formulas by introducing the new( concept) of evaluation on variable set, and discuss its a series of properties.
third order predicate logic
predicate logic language