Errors in implicative theories coming from binary data are studied. First, two classes of errors that may affect implicative theories are singled out. Two approaches for finding errors of these classes are proposed, both of them based on methods of Formal Concept Analysis. The first approach uses the cardinality minimal (canonical or DuquenneGuigues) implication base. The construction of such a...

An association between measles virus (MV) proteins and RNA and classical Hodgkin lymphoma (cHL) was first demonstrated by immunohistochemistry, RT-PCR and in situ hybridization, in 2004 [1]. We used several commercial and experimental anti-MV antibodies. Total RNA was extracted from all available snap-frozen tissue and from a few FFPE tissues out of a random cohort of 154 cHL untreated patients...

Therapy resistance and tumor recurrence are often linked to a small refractory and highly tumorigenic subpopulation of neoplastic cells, known as cancer stem cells (CSCs). A putative marker of CSCs is CD133 (prominin-1). We have previously described a CD133-targeted oncolytic measles virus (MV-CD133) as a promising approach to specifically eliminate CD133-positive tumor cells. Selectivity was i...

Measles is a highly contagious disease that causes temporary and severe immunosuppression in patients. Signaling lymphocyte activation molecule (SLAM) expressed on cells of the immune system functions as a receptor for measles virus (MV). In addition to SLAM, vaccine strains of MV also use a ubiquitously expressed complement regulatory protein, CD46, as a receptor, whereas wild-type (wt) MV str...

This paper discusses a new strategy to decide Dummett logic. The strategy relies on a tableau calculus whose distinguishing features are the rules for implicative formulas. The strategy has been implemented and the experimental results are reported.

In this paper, we introduce the notionofWajsberg implicative ideal(WI-ideal)of lattice Wajsberg algebra.Further, we definelattice H-Wajsberg algebra, implication homomorphismand lattice implication homomorphism oflattice Wajsberg algebra. Finally, we give kernel of implication homomorphism and obtain some oftheir properties.

There has been a lot of recent interest in Semantic Parsing, centering on using data-driven techniques for mapping natural language to full semantic representations (Mooney, 2007). One particular focus has been on learning with ambiguous supervision (Chen and Mooney, 2008; Kim and Mooney, 2012), where the goal is to model language learning within broader perceptual contexts (Mooney, 2008). We l...