scientific article; zbMATH DE number 67450

MaRDI QIDQ4012173zbMATH OpenFDO

Authors Fausto Giunchiglia, Paolo Traverso

Publication date 27 September 1992

zbMATH Keywords

GETFOLmetalevel theorem provingreflective reasoning

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Second- and higher-order model theory (03C85) Logic in artificial intelligence (68T27)

Recommendations

• A metatheory of a mechanized object theory
• Program tactics and logic tactics
• scientific article; zbMATH DE number 622668
• Computational reflection via mechanized logical deduction
• scientific article; zbMATH DE number 622669

Cited in

(8)

• Multilanguage hierarchical logics, or: How we can do without modal logics
• Program tactics and logic tactics
• A metatheory of a mechanized object theory
• Practical reflection for sequent logics
• GETFOL
• scientific article; zbMATH DE number 622668 (Why is no real title available?)
• scientific article; zbMATH DE number 622669 (Why is no real title available?)
• A multicontext architecture for formalizing complex reasoning

Describes a project that uses

Uses Software

• LCF
• Nuprl

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 Q4012173)