Logical consequence relations in logics of monotone predicates and logics of antitone predicates

• Date: 2018
• Main Author: Shkilniak, O.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: logic; predicate; semantics; logical consequence; UDC 004.42:510.69
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/219
• Journal Title: Problems in programming

Logical consequence is one of the fundamental concepts in logic. In this paper we study logical consequence relations for program-oriented logical formalisms: pure first-order composition nominative logics of quasiary predicates. In our research we are giving special attention to different types of...