Studies In Paraconsistent Logic II: Quantifiers And The Unity Of Opposites.
The graph product is an operator mixing direct and free products. It is already known that free products and direct products of automatic monoids are automatic. The main aim of this paper is to prove that graph products of automatic monoids of finite geometric type are still automatic. A similar result for prefix-automatic monoids is established.
T. Dokchitser [Acta Arith. 126 (2007)] showed that given an elliptic curve E defined over a number field K then there are infinitely many degree 3 extensions L/K for which the rank of E(L) is larger than E(K). In the present paper we show that the same is true if we replace 3 by any prime number. This result follows from a more general result establishing a similar property for the Jacobian varieties associated with curves defined by an equation of the shape f(y) = g(x) where f and g are polynomials...
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).
The graph product is an operator mixing direct and free products. It is already known that free products and direct products of automatic monoids are automatic. The main aim of this paper is to prove that graph products of automatic monoids of finite geometric type are still automatic. A similar result for prefix-automatic monoids is established.
On étudie la dimension moyenne de l’espace de courbes -Brody à valeurs dans deux surfaces complexes : d’abord pour des surfaces de Hopf, et ensuite pour privé d’une droite. On montre dans le premier cas que la dimension moyenne est nulle via une borne sur la croissance des fonctions holomorphes faisant apparaître le lemme de la dérivée logarithmique. Pour montrer la positivité dans le deuxième exemple, on relève de la droite à son complémentaire un espace de courbes de Brody de dimension moyenne...
The present work addresses the problem of determining under what conditions the impending slip state or the steady sliding of a linear elastic orthotropic layer or half space with respect to a rigid flat obstacle is dynamically unstable. In other words, we search the conditions for the occurrence of smooth exponentially growing dynamic solutions with perturbed initial conditions arbitrarily close to the steady sliding state, taking the system away from the equilibrium state or the steady sliding...
In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.
In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.
Page 1