Search Results - "consequences"
Suggested Topics within your search.
Suggested Topics within your search.
- logical consequence 11
- логічний наслідок 11
- UDC 004.42:510.69 9
- logic 9
- УДК 004.42:510.69 9
- логика 8
- логическое следствие 8
- логіка 8
- предикат 8
- predicate 7
- semantics 4
- секвенційне числення 4
- семантика 4
- equality 3
- partial predicate 3
- sequent calculus 3
- равенство 3
- частковий предикат 3
- composition 2
- flood 2
- композиция 2
- композиційна алгебра 2
- паводок 2
- рівність 2
- секвенциальное исчисление 2
- : логіка 1
- UDC 510.64 1
- UDC 004.42:510.64 1
- activation zone 1
- algebra 1
-
1
A model of control for counteracting against information attacks in cyberspace
Published 2021
Get full text
Article -
2
Minimization of Risks During the Liquidation of Emergencies Consequences
Published 2013
Get full text
Article -
3
Аnalysis of natural disasters and their impact on the environment
Published 2019
Get full text
Article -
4
-
5
-
6
Logical consequence relations in logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
7
-
8
-
9
The problem of flooding and analysis of the ways of its solution
Published 2023
Get full text
Article -
10
-
11
First-order logics with partial predicates for checking variable definedness
Published in PROBLEMS IN PROGRAMMING (2025)
Get full text
Article -
12
Pure first-order logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
13
Pure first-order quasiary logics with equality predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
14
Logics of general non-deterministic predicates: semantic aspects
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
15
Propositional logics of partial predicates with composition of predicate complement
Published in PROBLEMS IN PROGRAMMING (2019)
Get full text
Article -
16
-
17
Composition-nominative logics of free-quantifier levels
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article