Suggested Topics within your search.
Suggested Topics within your search.
UDC 004.42:510.69
4
УДК 004.42:510.69
4
логическое следствие
4
логічний наслідок
4
секвенциальное исчисление
секвенційне числення
4
logic
3
logical consequence
3
sequent calculus
3
логика
3
логіка
3
partial predicate
2
predicate
2
предикат
2
частичный предикат
2
частковий предикат
2
completeness
1
equality
1
logical consequence sequent calculus
1
modal logic
1
semantics
1
soundness
1
коректність
1
корректность
1
модальна логіка
1
модальная логика
1
повнота
1
полнота
1
равенство
1
рівність
1
-
1
-
2
-
3
-
4