On analysing relevance constructively
type: Item
instance of: scholarly article
title: On analysing relevance constructively
zbMATH Open document ID: 0406.03031
DOI: 10.1007/BF00370440
author: Garrel Pottinger
published in: Studia Logica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 3630709
zbMATH Keywords: Natural Deduction System
zbMATH Keywords: Conservative Extension of Pure Implicational Fragments
zbMATH Keywords: Intuitionistic Propositional Calculus
zbMATH Keywords: Proof-Theoretic Analysis
zbMATH Keywords: Relevant Logic
MaRDI profile type: Publication
cites work: Completeness of the normal typed fragment of the \(\lambda\)-system \(U\)
cites work: Q5686017
cites work: A new way of normalizing intuitionistic propositional logic
cites work: Q4145691
cites work: A new classical relevance logic
cites work: Q5559220
full work available at URL: https://doi.org/10.1007/bf00370440
OpenAlex ID: W2083063230
description: scientific article; zbMATH DE number 3630709