Open AccessLogical consequence relations in logics of monotone predicates and logics of antitone predicates
Author(s) -
Oksana Shkilniak
Publication year - 2017
Publication title -
problemy programmirovaniâ
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2017.01.021
Subject(s) - truth table , mathematics , non classical logic , binary relation , monotone polygon , falsity , relation (database) , galois connection , interpretation (philosophy) , logical consequence , discrete mathematics , computer science , algorithm , linguistics , programming language , philosophy , artificial intelligence , geometry , database
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 logical consequence relations in various semantics of logics of monotone predicates and logics of antitone predicates. For pure first-order logics of quasiary predicates we specify composition algebras of predicates, languages, interpretation classes (sematics) and logical consequence relations. We obtain the pairwise distinct relations: irrefutability consequence P |= IR , consequence on truth P |= T , consequence on falsity P |= F, strong consequence P |= TF in P-sеmantics of partial singlevalued predicates and strong consequence R |= TF in R-sеmantics of partial multi-valued predicates. Of the total of 20 of defined logical consequence relations in logics of monotone predicates and of antitone predicates, the following ones are pairwise distinct: PE |= IR, PE |= T, PE |= F, PE |= TF, RM |= T, RM |= F, RM |= TF. A number of examples showing the differences between various types of logical consequence relations is given. We summarize the results concerning the existence of a particular logical consequence relation for certain sets of formulas in a table and determine interrelations between different types of logical consequence relations.