Силлогистические термы

CST – простые общие термы

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

Языки с классом термов CST: SL, SL_a,i, SL_u, USL, USL_a,o, VSL.

SST – простые сингулярные термы

Определение класса:
SST={v, w, v₁, w₁, v₂, w₂, ...}.

Языки с классом термов SST: нет.

STs – термы сингулярной силлогистики

Определение класса:
STs=CST+SST.

Языки с классом термов STs: SLsa, SLso.

N¹CST– термы первопорядковой негативной силлогистики

Определение класса:
N¹CST=CST+{t´ / t принадлежит CST}.

Языки с классом термов N¹CST: N¹SL_a,e,i.

NCST – термы негативной силлогистики

Определение класса:
NCST:
1) CSTNCST;
2) если t принадлежит NCST, то и t´ принадлежит NCST.

Языки с классом термов NCST: NSL, NSL_a,e,i.

NSTsa – термы сингулярной негативной силлогистики аристотелевского типа

Определение класса:
NSTsa=NCST+SST.

Языки с классом термов NSTsa: NSLsa.

NSTso – термы сингулярной негативной силлогистики оккамовского типа

Определение класса:
NSTso:
1) CSTNCST;
2) если t принадлежит NSTso, то и t´ принадлежит NSTso.

Языки с классом термов NSTso: NSLso.

DCST – термы расширенной силлогистики

Определение класса:
DCST:
1) CSTDCST;
2) если t₁ и t₂ принадлежит DCST, то и t₁´, t₁+t₂, t₁t₂ принадлежит DCST.

Языки с классом термов DCST: DSL.

D₁CST – термы расширенной (до нижней полурешетки с нулем) силлогистики

Определение класса:
D₁CST:
1) CSTD₁CST;
2) принаждлежит D₁CST;
3) если t₁ и t₂ принадлежат D₁CST, то и t₁´, t₁+t₂, t₁t₂ принадлежат D₁CST.

Языки с классом термов D₁CST: D₁SL_a,i.