PanLinx
русский
rus-000
многозначное пропозициональное исчисление
English
eng-000
many-valued propositional calculus
PanLex
