The Classical Constraint on Relevance

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume8
Issue number1
DOIs
StatePublished - Mar 2014

Keywords

  • Relevance logics
  • classical logic
  • tautologies
  • translations

Fingerprint

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

Cite this