TTLR

AcronymDefinition
TTLRTank Truck Loading Rack (bulk transport installation)
TTLRTempe Town Lake Rowing (Arizona)
References in periodicals archive ?
Una formula TLR-atomica consiste en el operador T seguido por la expresion LR (e.g., TLR), o un compuesto molecular de expresiones LR (e.g., T(LR [disyuncion] L[sin correspondencia]R), o por una formula TLR-atomica (e.g., TTLR), o por un compuesto de T-formulas atomicas (e.g., T(TLR & TL[sin correspondencia]R)), o por una variable o compuesto molecular de variables y formulas T-atomicas (e.g., T(p [flecha diestra] TLR)).
La formula (TLR [flecha diestra y siniestra] T[sin correspondencia]LR) es equivalente a (15) (TTLR & TT[sin correspondencia]LR) [disyuncion] (T[sin correspondencia]TLR & T[sin correspondencia]T[sin correspondencia]LR).