Search

In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tarski- and a Lindenbaum-type, show their separations, and end with characterization, adequacy, minimality, and representation theorems for one of the Tarski-Lindenbaum-type logical structures., Comment: The final version of the article has been submitted to Logica Universalis. This version contains some major revisions and expansions

Acyl-coenzyme A (acyl-CoA) thioesters are evolutionarily conserved, compartmentalized, and energetically activated substrates for biochemical reactions. The ubiquitous involvement of acyl-CoA thioesters in metabolism, including the tricarboxylic acid cycle, fatty acid metabolism, amino acid degradation, and cholesterol metabolism highlights the broad applicability of applied measurements of acyl-CoA thioesters. However, quantitation of acyl-CoA levels provides only one dimension of metabolic information and a more complete description of metabolism requires the relative contribution of different precursors to individual substrates and pathways. Using two distinct stable isotope labeling approaches, acyl-CoA thioesters can be labeled with either a fixed [(13)C3(15)N1] label derived from pantothenate into the CoA moiety or via variable [(13)C] labeling into the acyl chain from metabolic precursors. Liquid chromatography-hybrid quadrupole/Orbitrap high-resolution mass spectrometry using parallel reaction monitoring, but not single ion monitoring, allowed the simultaneous quantitation of acyl-CoA thioesters by stable isotope dilution using the [(13)C3(15)N1] label and measurement of the incorporation of labeled carbon atoms derived from [(13)C6]-glucose, [(13)C5(15)N2]-glutamine, and [(13)C3]-propionate. As a proof of principle, we applied this method to human B cell lymphoma (WSU-DLCL2) cells in culture to precisely describe the relative pool size and enrichment of isotopic tracers into acetyl-, succinyl-, and propionyl-CoA. This method will allow highly precise, multiplexed, and stable isotope-resolved determination of metabolism to refine metabolic models, characterize novel metabolism, and test modulators of metabolic pathways involving acyl-CoA thioesters.