Report a problem related to object: Investigations of logical systems and their applications to automated translation algorithms and electronic circuits testing