Marginalia on sequent claculi

DOI10.1023/A:1026413320413MaRDI QIDQ1288969zbMATH OpenOpenAlexFDO

Authors A. S. Troelstra

Publication date 8 November 1999

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1026413320413

zbMATH Keywords

natural deductionnormalizationstructural rulescomplete discharge conventioncutfree deductionsGentzen-style deductionnormal deductionsterm labeling

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• Sequent calculus in natural deduction style
• Natural Deduction and Weak Normalization for Full Linear Logic
• scientific article; zbMATH DE number 3275554
• Normal proofs, cut free derivations and structural rules
• scientific article; zbMATH DE number 874672

Cited in

(3)

• Termination of permutative conversions in intuitionistic Gentzen calculi
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• Emptiness and discharge in sequent calculus and natural deduction

This page was built for publication: Marginalia on sequent claculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1288969)