логіка предикатів, логика предикатов, predicate logic ; математична логіка, математическая логика ; неокласичні логіки, неоклассические логики
Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному, реномінативному та кванторному рівнях. Встановлено зв"язки між цими логіками та 3-значними і 4-значними логіками однозначних предикатів, зокрема, сильною логікою Кліні та логікою Белнапа.
Composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated on propositional, renominative, and quantifier levels. The connection of these logics with 3-valued and 4-valued logics of single-valued predicates, in particular, with Kleene"s strong logic and the logic of Belnap are formulated.
