The top documents tagged [form of symbolic logicuse]