структурну систему разом з її інтерпретацією або інтерпретоване числення;

формальну систему разом з її інтерпретацією або інтерпретоване числення;

інтерпретацію логічних залежностей.

логічну систему разом з її інтерпретацією або інтерпретоване числення;