scientific article; zbMATH DE number 67454

zbMATH Open0746.68081MaRDI QIDQ4012178FDOQ4012178

Authors: Manfred Kerber 

Publication date: 27 September 1992

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

Recommendations

• scientific article; zbMATH DE number 1552534
• scientific article; zbMATH DE number 512782
• scientific article; zbMATH DE number 3878393
• On sets, types, fixed points, and checkerboards
• Theorem Proving in Higher Order Logics

zbMATH Keywords

higher-order theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Second- and higher-order model theory (03C85)

Cited In (11)

• The seven virtues of simple type theory
• Title not available (Why is that?)
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Theorem Proving in Higher Order Logics
• A combinator-based superposition calculus for higher-order logic
• SET-VAR
• Title not available (Why is that?)
• Translating SUMO-K to Higher-Order Set Theory
• A modal loosely guarded fragment of second-order propositional modal logic
• Translation templates to support strategy development in PVS
• A Knuth-Bendix-like ordering for orienting combinator equations

Uses Software

• TPS

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