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:
“Being sixty-five ... became a crossroads. We said, We have nothing to lose, so we can raise hell.”
—Maggie Kuhn (b. 1905)