Title: Foundations of Soft Logic