PanLinx
беларуская
bel-000
логіка выказванняў
русский
rus-000
логика высказываний
PanLex
