Axiomatic System, Deduction and Implication

DOI10.1093/LOGCOM/2.1.51MaRDI QIDQ4007158zbMATH OpenOpenAlexFDO

Authors 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

axiomatic systemsconsequence relationsdeductionimplicationimplicational linear logicminimal systemsrelevance logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 753772
• Publication:4206709
• Deduction theorems for weak implicational logics
• scientific article; zbMATH DE number 2064306
• Ackermann's implication for typefree logic

Cited in

(12)

• Fragments of R-mingle
• Combining classical logic, paraconsistency and relevance
• Key notions of Tarski's methodology of deductive systems
• RETRPROV. A system that looks for axioms
• scientific article; zbMATH DE number 4191139 (Why is no real title available?)
• scientific article; zbMATH DE number 3941556 (Why is no real title available?)
• scientific article; zbMATH DE number 4041863 (Why is no real title available?)
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• A practical implementation of simple consequence relations using inductive definitions
• An abstract approach to consequence relations
• A System for Strict Implication
• Relevant consequence relations: an invitation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4007158)