Fuzzy Propositional Formulas under the Stable Model Semantics