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