Open AccessRelations of logical consequence in logics of partial predicates with composition of predicate complement
Author(s) -
Oksana Shkilniak
Publication year - 2019
Publication title -
problemy programmirovaniâ
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2019.03.011
Subject(s) - predicate (mathematical logic) , mathematics , complement (music) , composition (language) , quantifier elimination , decomposition , quantifier (linguistics) , discrete mathematics , pure mathematics , algebra over a field , arithmetic , computer science , programming language , linguistics , ecology , biochemistry , chemistry , philosophy , artificial intelligence , complementation , biology , gene , phenotype