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