We introduce a notion of proof for CTL with respect to a given finite model and show some advantages of using such a notion. This also suggests to define a slight extension of CTL, called SCTL, where predicates can have an arbitrary arity.

cancer is a group of diseases characterized by uncontrolled proliferation of abnormal cells. because of the severe side effects and resistance to the traditional chemotherapeutic agents, the necessity for discovery of new anticancer drugs is a crucial topic. in the present study we synthesized new derivatives of 2-(4-fluorophenyl)- n -halophenylacetamide and assessed their cytotoxicity against ...

the chloroform soluble fractions of ethanolic extracts of five inula belonging to the compositae family were evaluated for cytotoxic activity against five different cell lines including caco2 (human colon adenocarcinoma), mcf7 (human breast adenocarcinoma), hepg2 (human hepatocellular carcinoma), vero (green african monkey kidney) and wehi164 (balb c mouse fibrosarcoma). cytotoxicity was assess...

We demonstrate that a poly(lactide-co-glycolide) (PLG) cancer vaccine can be used in combination with immune checkpoint antibodies, anti-CTLA-4 or anti-PD-1, to enhance cytotoxic T-cell (CTL) activity and induce the regression of solid B16 tumors in mice. Combination therapy obviated the need for vaccine boosting and significantly skewed intratumoral reactions toward CTL activity, resulting in ...

Standard cytotoxic chemotherapy can initially achieve high response rates, but relapses often occur in patients and represent a severe clinical problem. As increasing numbers of chemotherapeutic agents are found to have immunostimulatory effects, there is a growing interest to combine chemotherapy and immunotherapy for synergistic antitumor effects and improved clinical benefits. Findings from ...

Promising cancer immunotherapeutics depend on mobilization of cytotoxic T cells across tumor vascular barriers through mechanisms that are poorly understood. Recently, we discovered that the CXCR3 chemokine receptor uniquely functions as the master-regulator of cytotoxic CD8(+) T cell extravasation and tumor control despite the multiplicity of chemokines available in the tumor landscape.

Cytotoxic T-lymphocytes (CTL) are famous for their ability to kill tumor, allogeneic and virus-infected cells. However, an emerging literature has now demonstrated that CTL also possess the ability to directly recognize and kill bacteria, parasites, and fungi. Here, we review past and recent findings demonstrating the direct microbicidal activity of both CD4(+) and CD8(+) CTL against various mi...

Induction of tumor-specific immunity in vitro was accomplished by cocultivation of cortisone-resistant murine thymocytes or spleen cells with irradiated syngeneic plasma cell tumors (PCT). The cytotoxic activity generated could be detected in a short-term (51)Cr-release assay. Optimal cytotoxic activity against PCT-associated transplantation antigens (TATA) was generated after 7 days in culture...

Anaplastic large cell lymphoma (ALCL) is composed of large, frequently bizarre, cells of T- or null-cell phenotype that show a preferential sinusoidal growth pattern and consistent CD30 positivity. Whether these tumors represent a single entity or several, and what the exact cell origin, is controversial. Recently, granzyme B, a cytotoxic granule component, was reported in a small percentage of...