Thursday, April 12 2001
It means "Gamma entails S", i.e., when all the formulas in Gamma are true, also S is true. (Lecture).
Predicate logic is propositional logic plus predicates and quantifiers, (Lecture).
It means that there is a number x, such that all numbers (including itself) is less or equal than it. This is true, since 0 is such a number. (Lecture).
Intuitionistic, constructive, modal, fuzzy, linear... (Lecture).
1. Base clause(s).
2. Recursive clause(s).
3. Final clause. (Lecture).