The author has recently introduced a meta-level speciication for non-monotonic theories which has default theories , normal logic programs and separated autoepistemic theories as instances. Semantics including the stable, stationary and regular semantics are generalized for non-monotonic theories satisfying the speciication in a straightforward way. Most importantly, it is possible to prove pro...

Abstract This study is the first to investigate subject-level variability in sociolinguistic evaluative judgements by 30 adult L2 German learners and explore whether observed characterizable as a function of individual differences proficiency, exposure, motivation. Because group-level estimates did not paint an accurate picture individual, we propose methods capable integrating population-level...

Let G be a finite group. The character degree graph [Formula: see text] of G is the graph whose vertices are the prime divisors of character degrees of G and two vertices p and q are joined by an edge if pq divides the character degree of G. Let [Formula: see text] be the projective special linear group of degree n over a finite field of order q. Khosravi et. al. have shown that the simple grou...

The long-standing problem of determining whether the skewness in a sample frequency distribution is the manifestation of the intermixing of disparate groups characterizable by a normal mixture distribution or the manifestation of non-mixture, skew-producing determinants is discussed. Biometrical tools for modeling and quantifying the significance of the skewness in a trait of interest that invi...

It has long been recognized that various genome classes were distinguishable on the basis of base composition and nearest neighbor frequencies. In addition Grantham et al. (8) have recently presented evidence that these distinctions are preserved at the level of codon usage. As discussed in this report it is now clear that these and related statistics can uniquely characterize the various funct...

The work reported in this paper started out as an investigation of the use of perfects in news items taken from newspapers in different European languages. The original goal was to see if one could identify anything like the "hot news" use of the perfect, as defined by McCawley (1971). To this end, we excerpted in a number of European languages with perfects or perfect-like categories the first...

We consider the Rosenfeld-Gröbner algorithm for computing a regular decomposition of a radical differential ideal generated by a set of ordinary differential polynomials in n indeterminates. For a set of ordinary differential polynomials F , let M(F ) be the sum of maximal orders of differential indeterminates occurring in F . We propose a modification of the Rosenfeld-Gröbner algorithm, in whi...

For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose closure operation preserves finite joins. In generalization of Barr’s characterization of topological spaces as the lax algebras of a lax extension of the ultrafilter monad from maps to relations of sets, for V completely distributive, V-topological ...

The aim of this article is to generalize logics formal inconsistency (LFIs) systems dealing with the concept incompatibility, expressed by means a binary connective. basic idea that having two incompatible formulas hold trivializes deduction, and as special case, formula becomes consistent (in sense LFIs) when it its own negation. We show how notion extends consistency in non-trivial way, prese...