What tool has uses for both the U.S. Army and the Stanford Computer Science Department? Logical spreadsheets—data management systems that use logic instead of math—allow easier manipulation of data, an idea that could have profound implications in fields ranging from hotel management to insurance sales.