scientific article; zbMATH DE number 3871341

zbMATH Open0547.03031MaRDI QIDQ3338232FDOQ3338232

Authors: Dale Miller 

Publication date: 1984

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

Recommendations

• A compact representation of proofs
• Expansion trees with cut
• Extraction of expansion trees
• scientific article; zbMATH DE number 3922016
• On connections and higher-order logic

zbMATH Keywords

natural deduction proofsexpansion treesmatingsET-proofs

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cited In (11)

• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
• Title not available (Why is that?)
• The TPS theorem proving system
• Presenting intuitive deductions via symmetric simplification
• On connections and higher-order logic
• TPS: A theorem-proving system for classical type theory
• Toward mechanical methods for streamlining proofs
• TPS: A hybrid automatic-interactive system for developing proofs
• Title not available (Why is that?)
• A compact representation of proofs
• Trees and diagrams of decomposition

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