A proper hierarchy of propositional sequent calculi
type: Item
instance of: scholarly article
title: A proper hierarchy of propositional sequent calculi
zbMATH Open document ID: 0871.68161
DOI: 10.1016/0304-3975(95)00193-X
author: Noriko H. Arai
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 984044
MaRDI profile type: Publication
cites work: Q4152212
cites work: The intractability of resolution
cites work: Lower bounds to the size of constant-depth propositional proofs
cites work: Q5560258
cites work: Bounds for proof-search and speed-up in the predicate calculus
cites work: Q4010371
cites work: The complexity of Gentzen systems for propositional logic
full work available at URL: 0304-3975(95)00193-x
OpenAlex ID: W2024117148
description: scientific article; zbMATH DE number 984044