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