Talk:Sahlqvist formula

's' v. 'ae'
As for "formulae" vs. "formulas": the -s plural currently wins about 2:1 on Wikipedia, according to a quick Google search. Looking at related articles, logic, propositional logic, first-order logic, symbolic logic, mathematical logic, and Kripke semantics use -s, modal logic and intuitionistic logic use -e. I don't mind either, but at least we shouldn't have both variants in one short article, for minimal consistency. -- EJ 11:04, 1 Oct 2004 (UTC)


 * Well that sounds fair enough, but I can't read "formulas" without wincing. Is there a style guide that lasy these things down anywhere?  Failing that, I suppose I'll have to try and get used to it, if that is possible...  Charles Stewart 12:15, 1 Oct 2004 (UTC)


 * I've looked, the rule seems to be "be consistent with what is already there", so it looks like I must adjust... Charles Stewart 12:27, 1 Oct 2004 (UTC)

Examples
This may just be me being ignorant, but would it be useful to include examples of Sahlqvist formulae and (especially) formulae that aren't Sahlqvist formulae. Just from a quick look at the article, I can't come up with an example that wouldn't be a Sahlqvist formula. VoluntarySlave 07:33, 7 November 2005 (UTC)
 * Added three, the article could probably do with more laying out of the syntactic condition. --- Charles Stewart 15:04, 7 November 2005 (UTC)