PanLinx
English
eng-000
Lukasiewicz’s notation
PanLex