The aim of this paper is to introduce the new concept quadri partitioned neutrosophic soft set and discussed some its properties.And focus propose a notion study basic operations results in set. Further we develop systematic on obtain various properties induced by them. Some equivalent characterization inter-relations among them are with counter example.

A formulation of naive set theory is given in Lafont’s Soft Linear Logic, a logic with polynomial time cut-elimination. We demonstrate that the provably total functions of this set theory are precisely the PTIME functions. A novelty of this approach is the representation of the unary/binary natural numbers by two distinct sets (the safe naturals and the soft naturals).