PanLinx
English
eng-000
truth-value system
русский
rus-000
истинностная система
PanLex