Normal form theorem for systems of sequents

DOI10.2298/PIM0796037BMaRDI QIDQ3510440zbMATH OpenOpenAlexFDO

Authors Mirjana Borisavljević

Publication date 2 July 2008

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/130043

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

cut-elimination theoremnormalization theorem

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Normal derivations and sequent derivations
• Connections between cuts and maximum segments
• A connection between cut elimination and normalization
• Minimum segments in sequent derivations
• scientific article; zbMATH DE number 1169377

Cited in

(8)

• Normal derivations and sequent derivations
• Normalisation and subformula property for a system of classical logic with Tarski's rule
• scientific article; zbMATH DE number 1343487 (Why is no real title available?)
• scientific article; zbMATH DE number 1163926 (Why is no real title available?)
• scientific article; zbMATH DE number 1169377 (Why is no real title available?)
• Connections between cuts and maximum segments
• Minimum segments in sequent derivations
• A connection between cut elimination and normalization

This page was built for publication: Normal form theorem for systems of sequents

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