Passivity Based Control and Time Optimal Trajectory Planning of a Single Mast

In the case of Omitting Types, the theorem is shown to hold in a theory based on a weaker system that does not count with an auxiliar classical negation, or, what is the same, that