Kuhn's Formalization
The PFL syntax, primitives, and axioms described in this section are largely Kuhn's (1983). The semantics of the functors are Quine's (1982). The rest of this entry incorporates some terminology from Bacon (1985).
Read more about this topic: Predicate Functor Logic
Famous quotes containing the word kuhn:
“People who have had power, when they become powerless, are really tragic.... We just allow ourselves to be conditioned by a society so we become as important as we’re supposed to be.”
—Maggie Kuhn (b. 1905)