${\rm RMLC}$: solution to a problem left open by Lemmon.

Dolph Ulrich
Source: Notre Dame J. Formal Logic Volume 22, Number 2 (1981), 187-189.
First Page:
Primary Subjects: 03B45
Full-text: Open access