Συγγραφέας: Sem III
Sem III: UCδ WITH ALGEBRA (UCδ+) (pdf, 161K)
D1.2 (UCδ+ syntax) Rules b, a, λ, =, ¬, , n, m, {}, , ; as for UCΔ. . (A B) ∈ Trmδ if A, B ∈ Trmδ (A) ∈ Trmδ if A ∈ Trm(δt) o. (A), (A) ∈ Trmδ if A ∈ Trmδ A(A), N(A) ∈ Trmδt if A ∈ Trmδ r. A B ∈ Trmt... |
