A sublogic is a logical system that forms a subset of a more extensive logic. It preserves certain operations and…