THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
type: Item
instance of: scholarly article
title: THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
zbMATH Open document ID: 0536.03039
author: R. A. Bull
published in: Mathematical Logic Quarterly
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F07
zbMATH DE Number: 3851080
zbMATH Keywords: cut elimination
zbMATH Keywords: proof theory of propositional logic with weak implication
zbMATH Keywords: search trees
zbMATH Keywords: arguments
zbMATH Keywords: cocut
MaRDI profile type: Publication
full work available at URL: malq.19840300105
OpenAlex ID: W2124919261
DOI: 10.1002/MALQ.19840300105
description: scientific article