A consecutive calculus for positive relevant implication with necessity
type: Item
instance of: scholarly article
title: A consecutive calculus for positive relevant implication with necessity
zbMATH Open document ID: 0448.03010
author: J. Michael Dunn
author: Nuel D. jun. Belnap
author: Anil K. Gupta
published in: Journal of Philosophical Logic
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3700792
zbMATH Keywords: necessity
zbMATH Keywords: relevant implication
zbMATH Keywords: relevance logic
zbMATH Keywords: consecution calculus
zbMATH Keywords: elimination theorem for a generalized cut rule
zbMATH Keywords: Gentzen rules
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3700792