NSLsa – негативное расширение SLsa

Определение правильно построенного терма:
1) элемент множества {S, P, Q, M, S1, P1, Q1, M1, S2, P2, Q2, M2, ...}.
2) элемент множества {v, w, v1, w1, v2, w2, ...}.
3) t', где t – общий терм.

Определение правильно построенной формулы:
1) t1at2, t1et2, t1it2, t1ot2, где t1 и t2 – общие термы;
2) t1jt2, t1yt2, где t1 - сингулярный, а t2 – общий терм;
3) ¬A, A&B, AB, AB, AB, где A и B – формулы.

Алгебраические соотношения с другими языками:
NSLsa = SLsa+NSL.