Substructural implicational logics including the relevant logic E
type: Item
instance of: scholarly article
title: Substructural implicational logics including the relevant logic E
zbMATH Open document ID: 0943.03019
DOI: 10.1023/A:1005210613711
author: Ryo Kashima
author: Norihiro Kamide
published in: Studia Logica
publication date: 2000-09-05T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1420291
zbMATH Keywords: substructural logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: theorem-equivalence
zbMATH Keywords: cut-elimination
zbMATH Keywords: implicational fragments
zbMATH Keywords: relevant logic
zbMATH Keywords: BCI-logic
zbMATH Keywords: BCK-logic
zbMATH Keywords: intuitionistic logic
MaRDI profile type: Publication
full work available at URL: a:1005210613711
OpenAlex ID: W2338277731
description: scientific article; zbMATH DE number 1420291