Информационная система по формальным теориям

Теория FSl

Теория FSl – чистая позитивная силлогистика со связкой Лесневского в языке LSl_a,i с алфавитом ASl_a,i и классом ППТ CST. Другие, встречающиеся в литературе имена: ФСЛ.

Правила вывода:

Правило modus ponens (правило отделения): ((AB), A) => B.

Определение класса ППТ CST:
CST={S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}.

Определение класса ППФ LSl_a,i:
1) (t₁, t₂ є CST) => ((t₁at₂), (t₁et₂), (t₁t₂) є LSla,i);
2) (A, B є LSla,i) => (¬A, (A&B), (AB), (AB), (AB) є LSla,i).

Библиография по FSl