I have used the term semantic spreadsheet, cell store, spreadsheet hell, and have pointed out the problems of current approaches to working with spreadsheets.
I was introduced to a new term today, deductive spreadsheet or logical spreadsheet. Here is a set of slides that explain deductive spreadsheets and here is a book on the topic. Finally, here is an article from The Knowledge Engineering Review. OK, so I found one more really good article about logical spreadsheets. This last article provides this definition of a logical spreadsheet:
A logical spreadsheet is a spreadsheet in which the formula language is composed of logical
expressions.
More to come.