Cut-elimination theorem for relevant logics
type: Item
instance of: scholarly article
title: Cut-elimination theorem for relevant logics
zbMATH Open document ID: 0379.02011
DOI: 10.1007/BF01084083
published in: Journal of Soviet Mathematics
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 03B99
zbMATH DE Number: 3590257
author: G. E. Mints
MaRDI profile type: Publication
cites work: The pure calculus of entailment
cites work: Intensional models for first degree formulas
cites work: Q5559220
cites work: A Decision Procedure For the System EĪ of Entailment with Negation
full work available at URL: https://doi.org/10.1007/bf01084083
OpenAlex ID: W2014579147
description: scientific article; zbMATH DE number 3590257