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