LOGIC-SYSTEMS