logika ( L289)
- je teória logického vyplývania. V rámci teórie logického vyplývania sa vybudovalo množstvo klasických aj neklasických logických kalkulov (L289) ( L289;9).