والحساب الفاصل الزمني لادا هي مكتبة الرياضيات أن يوفر تنفيذ فترات لادا. ويشمل الحساب والعمليات العلائقية.الأمثلة على ذلك:ثلاثي منطق الدولةفي فترات حزمة بمثابة حزمة الجذر وأيضا توفر منطق الدولة ثلاثي الضروري تحديد العمليات العلائقية على فترات. يتم تعريف نوع المنطقي على النحو التالي: نوع المنطقي هو (الكاذبة، صحيح، غير...