"Logical expressions" . "Logical consequence" . "Software architecture" .