The Painlevé analysis of a generic multiparameter N = 2 extension of the Korteweg-de Vries equation is presented. New and unusual aspects of the analysis, pertaining to the presence of two fermionic fields, are emphasized. For the general class of models considered, we find that the only ones which pass the test are precisely the four known integrable supersymmetric KdV equations, including the...

We discuss a class of proofs of Bell-type inequalities that are based on tables of potential outcomes. These proofs state in essence: if one can only imagine (or write down in a table) the potential outcome of a hidden parameter model for EPR experiments then a contradiction to experiment and quantum mechanics follows. We show that these proofs do not contain hidden variables that relate to tim...

A less discussed point — though equally evident — is that Russian prefixes and prepositions cannot be unified as a class on the basis of their morphosyntactic characteristics. The theoretical aim of the present work is to resolve the apparent contradiction between the phonological unity and the morphosyntactic disunity of these two categories, by proposing a Stratal Optimality Theoretic approac...

We prove that the class of linear context-free tree languages is not closed under inverse linear tree homomorphisms. The proof is by contradiction: we encode Dyck words into a context-free tree language and prove that its preimage under a certain linear tree homomorphism cannot be generated by any context-free tree grammar. A positive result can still be obtained: the linear monadic context-fre...

For inference purposes in both classical and fuzzy logic, neither the information itself should be contradictory, nor should any of the items of available information contradict each other. In order to avoid these troubles in fuzzy logic, a study about contradiction was initiated by Trillas et al. in [5] and [6]. They introduced the concepts of both self-contradictory fuzzy set and contradictio...