TY - JOUR
T1 - Axiomatic system, deduction and implication
AU - Avron, A.
PY - 1992/3
Y1 - 1992/3
N2 - 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.
AB - 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.
KW - Consequence relation
KW - Deduction
KW - Linier and relevance logics
KW - Non-classical logics
UR - http://www.scopus.com/inward/record.url?scp=0041117836&partnerID=8YFLogxK
U2 - 10.1093/logcom/2.1.51
DO - 10.1093/logcom/2.1.51
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0041117836
SN - 0955-792X
VL - 2
SP - 51
EP - 98
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 1
ER -