The top documents tagged [algebra of formal logic]