Sequent calculus and the specification of computation

MaRDI QIDQ4263841zbMATH OpenFDO

Authors Dale Miller

Publication date 22 September 1999

zbMATH Keywords

sequent calculus

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2152687
• Forum: A multiple-conclusion specification logic
• A formal framework for specifying sequent calculus proof systems
• Logic programming and meta-logic

Cited in

(13)

• A Gentzen-style sequent calculus of constructions with expansion rules
• A formal framework for specifying sequent calculus proof systems
• On structuring proof search for first order linear logic
• scientific article; zbMATH DE number 1722647 (Why is no real title available?)
• scientific article; zbMATH DE number 3559517 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• Logic programming and meta-logic
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• scientific article; zbMATH DE number 2152687 (Why is no real title available?)
• Specifying computations using hyper transition systems
• scientific article; zbMATH DE number 1390270 (Why is no real title available?)
• Towards Ludics Programming: Interactive Proof Search
• Sequential operators in computability logic

This page was built for publication: Sequent calculus and the specification of computation

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