Issues in commonsense set theory

DOI10.1007/BF00849061zbMath0814.03036OpenAlexW1971665396WikidataQ56455975 ScholiaQ56455975MaRDI QIDQ1346620

Müjdat Pakkan, Varol Akman

Publication date: 6 April 1995

Published in: Artificial Intelligence Review (Search for Journal in Brave)

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

zbMATH Keywords

surveyknowledge representationself-referencecommonsense reasoningcardinalitycumulative hierarchyhypersetsalternative set theoriesclassical set theory from an AI perspective

Mathematics Subject Classification ID

Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Applications of set theory (03E75) General topics in artificial intelligence (68T01)

Related Items (1)

HYPERSOLVER: A graphical tool for commonsense set theory

Uses Software

• SETL

Cites Work

• Zur Axiomatik der Mengenlehre
• Topoi. The categorial analysis of logic. Rev. ed
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Set theory in first-order logic: Clauses for Gödel's axioms
• Foundational studies. Selected works. Vol. I, II
• Circumscription - a form of non-monotonic reasoning
• Set theory. An introduction to independence proofs
• Hypersets
• Automated deduction in von Neumann-Bernays-Gödel set theory
• Towards the automation of set theory and its logic
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Toward useful type-free theories. I
• New Foundations for Mathematical Logic
• A system of axiomatic set theory—Part I
• What is Cantor's Continuum Problem?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Issues in commonsense set theory