PanLinx
English
eng-000
multiple-valued logic
русский
rus-000
многозначная логика
PanLex