
완전 평가된 좌측 순차 논리(FEL)는 완전한 좌측 순차 평가 전략을 따르는 논리 체계이다. 이 논문에서는 FFEL, MFEL, CℓFEL, SFEL 등 다양한 FEL 논리를 정의하고 각각의 완전한 공리화를 제공한다.


coremsg

완전-평가된-좌측-순차-논리의-분석


완전 평가된 좌측 순차 논리의 분석



완전 평가된 좌측 순차 논리(FEL)는 완전한 좌측 순차 평가 전략을 따르는 논리 체계이며, 이 중 Free FEL(FFEL)이 가장 약한 논리이다. MFEL, CℓFEL, SFEL 등의 다양한 FEL 논리가 정의되며, 각각 고유한 특성을 가진다.
