A method of mutual conversion of labeled and tableau deduction

MaRDI QIDQ5395243zbMATH OpenFDO

Authors P. I. Bystrov

Publication date 2 November 2006

zbMATH Keywords

cut-eliminationmodal sequent calculitableaux-style derivations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1778907
• Indexed systems of sequents and cut-elimination
• scientific article; zbMATH DE number 3877148
• Proof theory for indexed nested sequents
• scientific article; zbMATH DE number 2079261

Cited in

(2)

• scientific article; zbMATH DE number 1778907 (Why is no real title available?)
• One-hot conversion: towards faster table-based A2B conversion

This page was built for publication: A method of mutual conversion of labeled and tableau deduction

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