The Classical Constraint on Relevance

Arnon Avron*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


We show that as long as the propositional constants t and f are not included in the language, any language-preserving extension of any important fragment of the relevance logics R and RMI can have only classical tautologies as theorems (this includes intuitionistic logic and its extensions). This property is not preserved, though, if either t or f is added to the language, or if the contraction axiom is deleted.

Original languageEnglish
Pages (from-to)1-15
Number of pages15
JournalLogica Universalis
Issue number1
StatePublished - Mar 2014


  • Relevance logics
  • classical logic
  • tautologies
  • translations


Dive into the research topics of 'The Classical Constraint on Relevance'. Together they form a unique fingerprint.

Cite this