On the Specification of Sequent Systems

DOI10.1007/11591191_25zbMath1143.03348OpenAlexW1514855336WikidataQ57850860 ScholiaQ57850860MaRDI QIDQ5387850

Elaine Pimentel, Dale A. Miller

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_25

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (8)

On concurrent behaviors and focusing in linear logic ⋮ Focusing in Linear Meta-logic ⋮ Specifying Proof Systems in Linear Logic with Subexponentials ⋮ A framework for proof systems ⋮ Towards an algorithmic construction of cut-elimination procedures ⋮ Least and Greatest Fixed Points in Linear Logic ⋮ Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM)

This page was built for publication: On the Specification of Sequent Systems