We use a many-sorted language to remove commutativity from phasesemantics of linear logic and show that pure noncommutativeintuitionistic linear propositional l
Power connector, as one kind of fittings, is used to connect power equipment to conductor, conductor to wire or wire to wire in power lines. Owing to its simple
Refutation methods based on the resolution principle aregenerally applied to a (finite) set of sentences, which must have aseries of pre-transformations (prenex