Gregory S. Tseytin

Sorry, we do not have enough data to show an influence graph for this author.
Learn More
A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on the logical concepts present in modern computer programming and not related directly to predicate logic. It is expected to be eecient in deriving simple conclusions when information is centered around objects and in combining independently designed subsystems.(More)
  • 1