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

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

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

(6)

• A multicontext architecture for formalizing complex reasoning
• Multilanguage hierarchical logics, or: How we can do without modal logics
• GETFOL
• A metatheory of a mechanized object theory
• Program tactics and logic tactics
• Practical reflection for sequent logics

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)