Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- UDC 004.42:510.69
- УДК 004.42:510.69 12
- logic 9
- logical consequence 9
- логика 9
- логічний наслідок 9
- логическое следствие 8
- логіка 8
- предикат 7
- predicate 6
- equality 3
- semantics 3
- равенство 3
- секвенційне числення 3
- семантика 3
- 2
- algebra 2
- composition 2
- non-deterministic predicate 2
- partial predicate 2
- sequent calculus 2
- алгебра 2
- композиция 2
- композиційна алгебра 2
- недетерминированный предикат 2
- недетермінований предикат 2
- рівність 2
- секвенциальное исчисление 2
- частковий предикат 2
- 7-valued predicate 1
-
1
Logical consequence relations in logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
2
Composition-nominative logics of free-quantifier levels
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
3
Pure first-order logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
4
-
5
Logics of general non-deterministic predicates: semantic aspects
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
6
Pure first-order quasiary logics with equality predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
7
Propositional logics of partial predicates with composition of predicate complement
Published in PROBLEMS IN PROGRAMMING (2019)
Get full text
Article -
8
-
9
-
10
-
11
Spectrum of sequential number pershopordinal compositional-nominative logics
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
12
Special relations of logical consequence in logics of quasi-ary predicates
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article