Consider a graph G with |V (G)| = p and |E(G)| q let f : V (G) → {k, k + 1, 2, . − 1}} be an injective function. The induced edge labeling ∗ for vertex is defined by (e) all e uv ∈ E(G) bijective. If f(V (G)) ∪ {f E(G)} , 1}, then called k-super cube root mean labeling. such exists, graph. In this paper, I introduce prove the existence of to graphs viz., triangular snake Tn, double D(Tn), Quadr...

Elimination of a single Skolem function in pure logic increases the length proofs only linearly. The result is shown for derivations with cuts that are free sequent calculus strong locality property.