In this work, we shall present some novel process to measure the similarity between picture fuzzy sets. Firstly, we adopt the concept of intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets and picture fuzzy sets. Secondly, we develop some similarity measures between picture fuzzy sets, such as, cosine similarity measure, weighted cosine similarity measure, set-theoretic similar...

W LODZIMIERZ DRABENT. SLDNF-resolution is a standard operational semantics for negation as ((nite) failure. For some programs and goals SLDNF-resolution is incomplete with respect to the Kunen semantics (program completion in 3-valued logic). Intuitively, the reason of incompleteness is oundering. This fact has however not been proven formally. The existing papers study syntactic classes of pro...