Logic

Formalizing Common Sense: an operator-based approach (2007): ontology13

Four Kinds of “Is_A” Relations (2006): information7

Inference Rules, Emergent Wholes and Supervenient Properties (2006): information3

Respect for Logic (2006): DW NH