Name that Project...
My project is in need of a name. Rather than give it an acronym, I've been trying to think of a name at least somewhat relevant to the topic at hand and my approach. I'm currently thinking about "Vindaloo" with the rather tenuous link being Haskell Curry and that the project will, I hope, be pretty hot (for some definition). "Vindaloo," though, doesn't have all that much to do with modal logic.
Names have never been a strong point of mine (I still don't know the names of many of the people I've seen and talked to every day this year), so I'll take this opportunity to solicit suggestions: If you can think of a name for a labelled tableaux theorem prover written in the Haskell programming language please leave your suggestions in a comment, or email them to me at: thsutton at gmail dot com.
Subscribe to:
Post Comments (Atom)
3 comments:
Hi Thomas,
Not sure about a particular name, but if you think the project is going to get wide use, you might think of getting a name that is easy to look for in google. I suppose that "Vindaloo tableaux" would be an easy query to dominate in Google. But can you do better?
Good luck!
Oops. I forgot to mention that the previous comment was me.
Greg
At the risk of being lynched and mercilessly beaten for making a horrible pun, what about something like "Kripkenite"...it's the Kripke you never knew - the one who could even defeat superman!
Post a Comment