{"type":"ScholarlyArticle","title":"A Theorem Prover for Elementary Set Theory","authors":[{"name":"Frank M. Brown","slug":"frank-m-brown","given":"Frank M.","family":"Brown","affiliation":""}],"abstract":"We describe a theorem prover for elementary set theory which is based on truth value preserving transformations, and then give an example of the protocol produced by this system when trying to prove the theorem of set theory known as Cantor's Theorem.","doi":null,"url":"https://ijcai.org/proceedings/1977/122","pdf":"https://ijcai.org/proceedings/1977/0122.pdf","markdown":"https://ijcai.org/proceedings/1977/122.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/122","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":122,"pages":{"first":534,"last":539},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}