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:
“By the year 2020, the year of perfect vision, the old will outnumber the young.”
—Maggie Kuhn (b. 1905)