Logical frameworks. Why not just classical logic?

MaRDI QIDQ2702563zbMATH OpenFDO

Authors Iliano Cervesato

Publication date 12 March 2001

zbMATH Keywords

deductive systemsdependent typeshereditary Harrop formulashigher-order termsHorn clauseslogical frameworksorts

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 2110615
• A meta linear logical framework
• A linear logical framework
• scientific article; zbMATH DE number 4180831
• scientific article; zbMATH DE number 65531

Cited in

(2)

• Fairness and communication-based semantics for session-typed languages
• scientific article; zbMATH DE number 1749145 (Why is no real title available?)

This page was built for publication: Logical frameworks. Why not just classical logic?

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