Axiomatic System, Deduction and Implication
type: Item
instance of: scholarly article
title: Axiomatic System, Deduction and Implication
zbMATH Open document ID: 0756.03008
author: Arnon Avron
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 58929
zbMATH Keywords: relevance logics
zbMATH Keywords: deduction
zbMATH Keywords: axiomatic systems
zbMATH Keywords: implication
zbMATH Keywords: consequence relations
zbMATH Keywords: minimal systems
zbMATH Keywords: implicational linear logic
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1093/logcom/2.1.51
OpenAlex ID: W2017953886
DOI: 10.1093/LOGCOM/2.1.51
published in: Journal Of Logic And Computation
Recommended article: Q4698605
Recommended article: Q4206709
Recommended article: Deduction theorems for weak implicational logics
Recommended article: Q4461807
Recommended article: Ackermann's implication for typefree logic
description: scientific article