In this paper we will first briefly introduce substructural logic in section 2.
concept ff then describes a subset of concept f because on every position in the cNF formula contains a subset of the allowed variables; i.e.