Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- UDC 004.42:510.69 3
- equality
- logical consequence 3
- predicate 3
- УДК 004.42:510.69 3
- логическое следствие 3
- логічний наслідок 3
- предикат 3
- равенство 3
- logic 2
- логика 2
- логіка 2
- рівність 2
- composition 1
- free-quantifier logic 1
- renomination 1
- sequent calculus 1
- superposition 1
- Ключевые слова: бескванторная логика 1
- безкванторна логіка 1
- композиция 1
- композиційна алгебра 1
- реноминация 1
- реномінація 1
- секвенциальное исчисление 1
- секвенційне числення 1
- суперпозиция 1
- суперпозиція 1
- частковий предикат 1
-
1
Composition-nominative logics of free-quantifier levels
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
2
Pure first-order quasiary logics with equality predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
3