Для відношень істиннісного, хибнісного і сильного логічного наслідку композиційно-номінативних логік однозначних квазіарних предикатів побудовано спеціальні секвенційні числення. Для такої побудови використано спеціальні предикати, які визначають наявність значення для змінних. Доведено коректність і повноту цих числень.
We construct special sequent calculi for relations of true-valued, false-valued and strong logical consequence of composition-nominative logics of single-valued quasiary predicates. Special variable definedness predicates are used for the construction. The soundness and completeness of these calculi are proved.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
