Keywords :
Fuzzy (crisp) valuation , Fuzzy (crisp) model , Fuzzy (crisp) semantic sequentialconsequence , Sequentialconsequence , Fuzzy (crisp) matrix model , Formal language , Propositional language , Fuzzy (crisp) matrix sequential consequence , Fuzzy (crisp) matrix , Fuzzy (crisp) semantics , Propositional sequential consequence , Distributive bounded lattice , Disjunctive sequential calculus , Sequential calculus , Structural rules