On an implication connective of ${\rm RM}$.

Arnon Avron
Source: Notre Dame J. Formal Logic Volume 27, Number 2 (1986), 201-209.
First Page:
Primary Subjects: 03B45
Full-text: Open access