Open AccessPropositional logics of partial predicates with composition of predicate complement
Author(s) -
Mykola S. Nikitchenko,
Oksana Shkilniak,
S.S. Shkilniak,
T.A. Mamedov
Publication year - 2019
Publication title -
problemy programmirovaniâ
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) , composition (language) , correctness , atomic formula , discrete mathematics , 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