HYPERSOLVER: A graphical tool for commonsense set theory

DOI10.1016/0020-0255(94)00114-QzbMath0873.03047WikidataQ57699712 ScholiaQ57699712MaRDI QIDQ1357081

Varol Akman, Müjdat Pakkan

Publication date: 16 June 1997

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

systems of equationscommonsense reasoningnon-well-founded setsgraphical representation for setsHyperset TheoryHYPERSOLVER

Mathematics Subject Classification ID

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)

HYPERSOLVER

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