Return to Article Details MATHEMATICAL DESCRIPTION OF THE INEQUALITY OPERATION IN A LOGIC-TIME ENVIRONMENT Download Download PDF