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

Теория FCso

Теория FCso – сингулярная силлогистика оккамовского типа в языке LSso с алфавитом ASso и классом ППТ STs. Другие, встречающиеся в литературе имена: ФС^с_о.

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

1) Правило modus ponens (правило отделения): если (AB) и A, то B.
Эктетические правила:
2) если |– ((vaS & vaP) A), то |– (SiP A);
3) если |– ((vaS & veP) A), то |– (SoP A),
v не содержится в заключении.

Определение класса ППТ STs:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}STs;
2) {a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ...}STs.

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

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