Axiomatic system, deduction and implication

A. Avron*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


The notions of logic, deduction, axiomatic systems and implication are investigated within the general framework of consequence relations (CRs). We distinguish between several types of CRs and define corresponding notions of deduction and of inclusion between logics. Given an axiomatic system, several CRs can naturally be associated with it according to these classifications. Each of them induces its own notion of derivable and admissible rules and of inclusion between systems. Several known systems are then identified as the minimal systems (according to some notion of inclusion) that contain an internal implication relative to the corresponding type of CR. To the same systems might naturally correspond other CRs as well. In the case of implicational linear logic, for example, these CRs have clear semantical interpretations and appropriate versions of the deduction theorem hold for them, but unlike the principal associated CR, they are not known to be decidable.

Original languageEnglish
Pages (from-to)51-98
Number of pages48
JournalJournal of Logic and Computation
Issue number1
StatePublished - Mar 1992


  • Consequence relation
  • Deduction
  • Linier and relevance logics
  • Non-classical logics


Dive into the research topics of 'Axiomatic system, deduction and implication'. Together they form a unique fingerprint.

Cite this