Open AccessRelations of logical consequence in logics of partial predicates with composition of predicate complement
Author(s) -
Oksana Shkilniak
Publication year - 2019
Publication title -
problems in programming
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 , atomic formula , discrete mathematics , decomposition , quantifier (linguistics) , algebra over a field , pure mathematics , arithmetic , computer science , programming language , ecology , biochemistry , chemistry , linguistics , philosophy , artificial intelligence , complementation , biology , gene , phenotype
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom