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

Теория NCar

Теория NCar – негативная силлогистика Кэрролла в языке LNS_a,e,i с алфавитом ANS_a,e,i и классом ППТ NCST. Другие, встречающиеся в литературе имена: НС.

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

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

Определение класса ППТ NCST:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}NCST;
2) (t є NCST) => (t´ є NCST).

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

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