Результати пошуку - "UDC 004.42:510.69"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- UDC 004.42:510.69 17
- УДК 004.42:510.69 17
- logic 12
- логика 12
- логічний наслідок 12
- logical consequence 11
- логическое следствие 11
- логіка 11
- предикат 7
- predicate 6
- секвенційне числення 5
- algebra 4
- partial predicate 4
- алгебра 4
- секвенциальное исчисление 4
- частковий предикат 4
- 3
- equality 3
- non-deterministic predicate 3
- semantics 3
- sequent calculus 3
- недетерминированный предикат 3
- недетермінований предикат 3
- равенство 3
- семантика 3
- частичный предикат 3
- composition 2
- композиция 2
- композиційна алгебра 2
- рівність 2
-
1
First-order composition-nominative logics with generalized renominations
Опубліковано 2025Отримати повний текст
Стаття -
2
Spectrum of sequential number pershopordinal compositional-nominative logics
Опубліковано 2025Отримати повний текст
Стаття -
3
Special relations of logical consequence in logics of quasi-ary predicates
Опубліковано 2025Отримати повний текст
Стаття -
4
Logical consequence relations in logics of quasiary predicates
Опубліковано 2018
Отримати повний текст
Стаття -
5
-
6
-
7
-
8
-
9
Pure first-order quasiary logics with equality predicates
Опубліковано 2018
Отримати повний текст
Стаття -
10
Logics of general non-deterministic predicates: semantic aspects
Опубліковано 2018
Отримати повний текст
Стаття -
11
-
12
Propositional logics of partial predicates with composition of predicate complement
Опубліковано 2019
Отримати повний текст
Стаття -
13
-
14
-
15
Composition-nominative logics of free-quantifier levels
Опубліковано 2018
Отримати повний текст
Стаття -
16
-
17