TPTL


Also found in: Acronyms.

TPTL

ISO 3166-3 code for East Timor, which changed its name to Timor-Leste in 2002. ISO 3166-3 codes are used to indicate names of countries that are no longer used.
References in periodicals archive ?
PTL's deductive systems can be extended and transformed for TPTL by retaining the properties of soundness and completeness.
In the second category, lie the following temporal logics: EIL, RTIL, RTTL, TPTL, RTL, TRIO, MTL, and TILCO.
When this distinction is not made, time can be considered only in the future, for example, RTTL, TPTL, or more general and flexible operators capable of working continuously from past to future are defined, for example, TILCO.