Jump to content

Talk:Sahlqvist formula

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

'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)[reply]

Added three, the article could probably do with more laying out of the syntactic condition. --- Charles Stewart 15:04, 7 November 2005 (UTC)[reply]