The top documents tagged [aristotelic logic p1]