The top documents tagged [monovalent logic]