Принципы построения индексов алфавитов, классов термов, языков и теорий в базе данных

При построении информационной системы возникла необходимость дать описываемым объектам уникальные обозначения мнемонического характера. Для обозначения теорий мы пытались использовать принятые для них обозначения в литературе, а для языков, алфавитов и классов термов учитывать принятые обозначения соответствующих теорий. Но на этом пути возникли существенные ограничения, обусловленные программным обеспечением: обозначения должны были быть реализованы в формате only-text, без текстовой разметки и содержать только заглавные и строчные латинские буквы и некоторые значки. В результате возникли три группы обозначений для теорий (имена, псевдонимы и индексы) и по две группы обозначений (псевдонимы и индексы) для объектов других типов (поскольку у языков, классов термов и алфавитов нет закрепившихся за ними символических обозначений - имен).

В качестве индексов теорий используются либо непосредственно какие-то из их общепринятых обозначений (если они отвечают указанным выше требованиям для индексов и требованию уникальности), либо некоторые модификации таких обозначений: русские буквы заменяются латинскими, специальные значки – буквенными обозначениями или имитацией через другие допустимые знаки, при совпадении получившихся индексов к ним добавляются дополнительные цифровые или буквенные идентификаторы. В обозначении силлогистик обычно присутствует знак C.

Индексы для алфавитов и языков включают:

Индексы для классов термов включают:


Указания на группы термов:

Указания на наличие предикаторов:

Если состав пропозициональных связок отличается от стандартного набора (¬, , , , ), то указывается состав связок:

Указания на наличие пропозициональных символов:

Указания на наличие кванторов: