Axiomatic System, Deduction and Implication

DOI10.1093/LOGCOM/2.1.51zbMATH Open0756.03008OpenAlexW2017953886MaRDI QIDQ4007158FDOQ4007158

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

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

zbMATH Keywords

consequence relationsrelevance logicsdeductionimplicationminimal systemsaxiomatic 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) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22)

Cited In (12)

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

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)