The top documents tagged [short classical logic]