Probabilistic Similarity Logic
Monoidal t-norm based logic: towards a logic for left-continuous t-norms