Combining classical logic, paraconsistency and relevance

Arnon Avron*

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

Abstract

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
Volume3
Issue number1
DOIs
StatePublished - Mar 2005
EventA Paraconsistent Decagon -
Duration: 5 Aug 20029 Aug 2002

Keywords

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

Fingerprint

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

Cite this