We give a prototype extensible deductive system for elementary set theory which is based on truth-value preserving transformations, and then describe an experimental application of it to the first few chapters of W. O. Quine's book: Set Theory and its Logic.Expand

This paper describes a method for constructing reduced solutions, i.e., general solutions involving the fewest parameters possible, for Boolean equations.Expand

A blade type cleaning device for use with an electrophotographic copying machine of the image transfer type includes a cleaning blade having an end edge urged into contact with the surface of a photosensitive drum to clean such surface.Expand

A solution to the frame problem is proposed. This solution is based on the idea that the frame problem can essentially be reduced to the concepts of reflection and logical possibility. Both a very… Expand

Given a combinational output function f and an input constraint φ = 0, there is a set G( f, φ) of output functions equivalent to f with respect to φ.Expand

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.Expand

We investigate several methods of inductive reasoning in the domain of difference equations, including the method of generalization with beliefs, and temporal methods based on comparisons with previously solved problems.Expand