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)

Review text

See the last but one review in Zbl 0679.68176.

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)