登录
洞察 - 완전 평가된 좌측 순차 논리
완전 평가된 좌측 순차 논리의 분석
완전 평가된 좌측 순차 논리(FEL)는 완전한 좌측 순차 평가 전략을 따르는 논리 체계이며, 이 중 Free FEL(FFEL)이 가장 약한 논리이다. MFEL, CℓFEL, SFEL 등의 다양한 FEL 논리가 정의되며, 각각 고유한 특성을 가진다.
완전 평가된 좌측 순차 논리의 분석
완전 평가된 좌측 순차 논리(FEL)는 완전한 좌측 순차 평가 전략을 따르는 논리 체계이다. 이 논문에서는 FFEL, MFEL, CℓFEL, SFEL 등 다양한 FEL 논리를 정의하고 각각의 완전한 공리화를 제공한다.
