Open AccessPropositional logics of partial predicates with composition of predicate complement
Author(s) -
Mykola Nikitchenko,
Oksana Shkilniak,
S.S. Shkilniak,
T.A. Mamedov
Publication year - 2019
Publication title -
problems in programming
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2019.01.003
Subject(s) - predicate (mathematical logic) , mathematics , predicate variable , complement (music) , correctness , atomic formula , composition (language) , discrete mathematics , rotation formalisms in three dimensions , algebra over a field , computer science , algorithm , programming language , pure mathematics , description logic , zeroth order logic , linguistics , multimodal logic , biochemistry , chemistry , philosophy , complementation , phenotype , gene , geometry
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