Find link

language:

Find link is a tool written by Edward Betts.

searching for Logical matrix 1 found (32 total)

History of type theory (2,823 words) [view diff] exact match in snippet view article find links to article

generalized) notion of "matrix", that of a "logical matrix . . . one that contains no constants. Thus p|q is a logical matrix". Thus Russell has virtually abandoned