Talk:Sahlqvist formula
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
's' v. 'ae'[edit]
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[edit]
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)