Gregory S. Tseytin

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