HYPERSOLVER: A graphical tool for commonsense set theory
From MaRDI portal
Publication:1357081
DOI10.1016/0020-0255(94)00114-QzbMath0873.03047WikidataQ57699712 ScholiaQ57699712MaRDI QIDQ1357081
Publication date: 16 June 1997
Published in: Information Sciences (Search for Journal in Brave)
systems of equationscommonsense reasoningnon-well-founded setsgraphical representation for setsHyperset TheoryHYPERSOLVER
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Nonclassical and second-order set theories (03E70) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (1)
Cites Work
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- Hypersets
- Anti-foundation and self-reference
- Issues in commonsense set theory
- An algorithm for drawing general undirected graphs
- Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
- DAG—a program that draws directed graphs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: HYPERSOLVER: A graphical tool for commonsense set theory