완전 평가 좌순차 논리(FEL)의 가족을 정의하고, 이들의 평가 트리 기반 단순 의미론과 완전한 공리화를 제공한다. 이 논리들은 원자 부작용에 면역인 가장 약한 논리인 Free FEL에서 시작하여 순차적 명제 논리인 가장 강한 Static FEL로 이어진다.
