From the subformula property to cut-admissibility in propositional sequent calculi
type: Item
instance of: scholarly article
title: From the subformula property to cut-admissibility in propositional sequent calculi
zbMATH Open document ID: 1444.03162
author: Ori Lahav
author: Yoni Zohar
publication date: 2019-01-31T00:00:00Z
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7009558
zbMATH Keywords: sequent calculus
zbMATH Keywords: subformula property
zbMATH Keywords: cut elimination
zbMATH Keywords: analyticity
MaRDI profile type: Publication
OpenAlex ID: W2810263748
DOI: 10.1093/LOGCOM/EXY018
published in: Journal Of Logic And Computation
Recommended article: Q4032549
Recommended article: The subformula property of natural deduction derivations and analytic cuts
Recommended article: Semantical Approach to Cut Elimination and Subformula Property in Modal Logic
Recommended article: Q4636039
Recommended article: Q5013887
Recommended article: Q4262065
Recommended article: Subformula property in many-valued modal logics
Recommended article: Q3433181
Recommended article: Terminating calculi for propositional Dummett logic with subformula property
Recommended article: Cut formulas in propositional logic
description: scientific article; zbMATH DE number 7009558