A formal framework for specifying sequent calculus proof systems
type: Item
instance of: scholarly article
title: A formal framework for specifying sequent calculus proof systems
zbMATH Open document ID: 1259.03077
author: Elaine Pimentel
author: Dale Miller
published in: Theoretical Computer Science
publication date: 2013-03-27T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6149029
zbMATH Keywords: logical frameworks
zbMATH Keywords: linear logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: proof systems
zbMATH Keywords: cut elimination
describes a project that uses: Twelf
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.12.008
OpenAlex ID: W2033813295
Wikidata QID: Q57850790
DOI: 10.1016/J.TCS.2012.12.008
description: scientific article; zbMATH DE number 6149029