RM and its Nice Properties

Arnon Avron*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Dunn–McCall logic RM is by far the best understood and the most well-behaved logic in the family of logics developed by the school of Anderson and Belnap. However, it is not considered to be a relevant logic by the relevant logicians, since it fails to have the variable-sharing property. Instead, RM is usually characterized as being “semi-relevant,” without explaining what this notion means. In this paper we suggest a plausible definition of semi-relevance, and show that according to it, RM is a strongly maximal semi-relevant logic having a conjunction, a disjunction, and an implication. We also review and prove the most important nice properties of RM, especially strong completeness results about it (the full proofs of which are difficult to find in the literature).

Original languageEnglish
Title of host publicationOutstanding Contributions to Logic
Number of pages29
StatePublished - 2016

Publication series

NameOutstanding Contributions to Logic
ISSN (Print)2211-2758
ISSN (Electronic)2211-2766


  • Degrees of truth
  • Fuzzy logics
  • Paraconsistent logics
  • Relevant logics
  • Semi-relevance


Dive into the research topics of 'RM and its Nice Properties'. Together they form a unique fingerprint.

Cite this