scientific article; zbMATH DE number 67450

zbMATH Open0745.68092MaRDI QIDQ4012173FDOQ4012173

Authors: Fausto Giunchiglia, Paolo Traverso 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

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)

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

Uses Software

• Nuprl
• LCF

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)