Existential Ω-Entailment is not explosive
This should probably be filed under "coolest words I’ve heard/read today", but I can’t think of a catchy yet pithy name for the category, so I’ll just file this generally.
Existential Ω-Entailment is not explosive
At least according to Michael Kassoff, et. al., in PrediCalc: A Logical Spreadsheet Management System.
Why, you might ask, am I reading this? I saw the reference in ACM’s thrice-weekly TechNews about logical spreadsheets (sort of a spreadsheet-based interactive constraint satisfaction problem solver) out of Stanford and figured I’d read more. Alas, I’ve been out of college too long to really understand the paper, but it looks cool.
