Αποστολή με SMS: Algebraic foundations of many-valued reasoning /