Combining classical logic, paraconsistency and relevance

Arnon Avron*

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.

Original languageEnglish
Pages (from-to)133-160
Number of pages28
JournalJournal of Applied Logic
Issue number1
StatePublished - Mar 2005
EventA Paraconsistent Decagon -
Duration: 5 Aug 20029 Aug 2002


  • Classical logic
  • Gentzen-type systems
  • Many-valued semantics
  • Paraconsistency
  • Relevance logic


Dive into the research topics of 'Combining classical logic, paraconsistency and relevance'. Together they form a unique fingerprint.

Cite this