Axiomatic System, Deduction and Implication

DOI10.1093/logcom/2.1.51zbMath0756.03008OpenAlexW2017953886MaRDI QIDQ4007158

Arnon Avron

Publication date: 27 September 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.1.51

zbMATH Keywords

implicationdeductionminimal systemsconsequence relationsrelevance logicsaxiomatic systemsimplicational linear logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Fragments of R-mingle ⋮ Combining classical logic, paraconsistency and relevance ⋮ A practical implementation of simple consequence relations using inductive definitions ⋮ Multiplicative conjunction and an algebraic meaning of contraction and weakening

This page was built for publication: Axiomatic System, Deduction and Implication