Propositional logics of partial predicates with composition of predicate complement Academic Article