An introduction to logical spreadsheets

摘要

A logical spreadsheet is a spreadsheet in which the formula language is composed of logical expressions. Logical spreadsheets were invented shortly after traditional electronic spreadsheets were introduced, but since then logical spreadsheet research has been somewhat sparse. Recently, however, there has been a resurgence in the interest of logical spreadsheets in the research community. In this article, we summarize logical spreadsheet research up to this point.