The problem of finding an inference rule for set theory

DOI10.1007/BF00245023MaRDI QIDQ1823017zbMATH OpenOpenAlexWikidataFDO

Authors Larry Wos

Publication date 1989

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00245023

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(3)

• \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations
• Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
• Layered map reasoning: an experimental approach put to trial on sets

This page was built for publication: The problem of finding an inference rule for set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823017)