scientific article; zbMATH DE number 1086668

MaRDI QIDQ4362918zbMATH OpenFDO

Authors Rajeev Goré

Publication date 13 November 1997

zbMATH Keywords

addition of structural rulescut-free Gentzen-style calculusextension of display logicrelation algebras

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 1301758
• Structural extensions of display calculi: a general recipe
• Display calculi for logics with relative accessibility relations
• scientific article; zbMATH DE number 1927419

Cited in

(9)

• Cut technique in valued relational systems: Mainsprings and applications
• Display calculi for logics with relative accessibility relations
• Proper multi-type display calculi for rough algebras
• Structural extensions of display calculi: a general recipe
• scientific article; zbMATH DE number 1301758 (Why is no real title available?)
• scientific article; zbMATH DE number 1735911 (Why is no real title available?)
• scientific article; zbMATH DE number 1927419 (Why is no real title available?)
• Finite methods in 1-order formalisms
• A sequent calculus for relation algebras

This page was built for publication:

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