The problem of finding an inference rule for set theory
From MaRDI portal
Publication:1823017
DOI10.1007/BF00245023zbMath0679.68178OpenAlexW2034137401WikidataQ114267070 ScholiaQ114267070MaRDI QIDQ1823017
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Layered map reasoning ⋮ \({\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
This page was built for publication: The problem of finding an inference rule for set theory
