Many-valued logics | lit.salon