The top documents tagged [dominant formal logic]