Vollständig ausgewertete links-sequenzielle Logiken

Wir betrachten eine Familie von zweiwertigen "vollständig ausgewerteten links-sequenziellen Logiken" (FELs), von denen die Freie FEL (FFEL) die schwächste und gegen atomare Nebeneffekte immun ist. Darauf folgt die Memorisierende FEL (MFEL), in der Auswertungen von Teilausdrücken gespeichert werden. Die stärkere Logik ist die Bedingte FEL (CℓFEL). Die stärkste FEL ist die Statische FEL (SFEL), eine sequenzielle Version der Aussagenlogik.