Sequent calculi for first-order logics of single-valued quasi-ary predicates

• Datum: 2018
• 1. Verfasser: Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/36
• Назва журналу: Problems in programming

On the basis of properties of various relations of logical consequence, we specify sequent calculi for first-order composition-nominative logics of single-valued quasi-ary predicates of quantifier level. Such calculi are constructed for logics of equtone predicates and for a general case of logics o...