Search

This is the seventh paper of a series of papers that will give a survey on several topics on formal languages and automata by using semirings, formal power series, matrices and xed point theory. The seventh paper of this series deals with tree (series) automata and systems of equations over tree. The main topics of the paper are the following. 1. Tree automata (resp. nite, polynomial tree automata), whose behaviors are tree series over a semiring, and systems of equations (resp. nite, polynomial...

This is the eighth paper of a series of papers that will give a survey on several topics on formal languages and automata by using semirings, formal power series, matrices and xed point theory. The seventh paper of this series deals with tree (series) automata and systems of equations over tree . The main topics of the paper are the following. 1. Pushdown tree automata, whose behaviors are tree series over a semiring, and algebraic tree systems are equivalent; moreover, the class of algebraic tree...

Modern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A. Tarski, modern history of logic brings the problem of logical consequence into the realmof search for the relation of consequence, or grounding. In his doctoral dissertation on the nature of logical formality J. MacFarlane claims that the paradoxes of formal theories...

It is considered a possibility of generation of exact solutions for Friedman equations by Darboux transformation, for which Cardy — Verlinde formula is valid. Two modifications of Darboux transformation are offered, which let generate such solutions. Exact solutions are obtained, for which Cardy — Verlinde formula is valid at least near some singularities. 1. Verlinde E. On the Holographic Principle in the Radiation Dominated Universe. URL: (2010) [arXiv:hep-th/0008140]. 2. Brevik I., Nojiri S...

The article describes the history of the study and the composition of the palvesk formation established in the deposits of the Paleogene of the Sambian Peninsula in the Kaliningrad Region. The authors give the most complete micro- and macro-faunistic characteristics, as well as the palynological complex according to previous studies. According to the results of absolute dating of glauconite isolated from the siltstones of the formation, as well as palynological data, it dates back to the Eocene age...

The article focuses on the place and the role of non-formal educational practices in the development of adult education in Russia. Non-formal educa-tional practices are considered as a way of educational interaction, which has preserved the basic parameters of humanity. They are updated in periods of significant historical changes, as resource support for social reconstruction. Today, the practice of non-formal adult education is in demand primarily as a resource for development of human potential...

This is the sixth paper of a series of papers that will give a survey on several topics on formal languages and automata by using semirings, formal power series, matrices andxed point theory. The sixth paper of this series deals with the basic results in the theory of !-algebraic systems over quemirings generalizing the classical context-free grammars generating languages overnite and innite words. The presentation of these results is based on continuous starsemiring-omegasemimodule pairs. We...

... that, with the development of integration connections and regionalization processes, interorganizational networking takes on special importance in the organization and development of the innovative space. The authors analyze the existing typologies of forms of cooperation in the field of research, technology, and innovation, within which cases of networking are identified. The article gives a definition of interorganizational networks in view of the spatial and structural components of networking. ...

This article defines the way of interaction between formal and transcendental logic through introducing ontological considerations based on P. Strawson's descriptive metaphysics. The notions of a particular, a sortal universal and a feature universal are introduced into the transcendental limitation on the inferences of formal logic. 1. Аристотель. Категории // Аристотель. Соч.: в 4 т. М., 1978. Т. 2. С. 53—90. 2. Брюшинкин В. Н. Взаимодействие формальной и трансцендентальной логики // Кантовский...

... patterns of inferences (i. e. the syllogistic moods in the three figures) shifts focus from the schematic to dynamic model of formality. Secondly, the author assesses the logical hylomorphism of Alexander of Aphrodisias, who connected it with metaphysical form vs. matter dichotomy. Thirdly, it is argued that Kant’s transcendental logic is a logic in the formal sense. Whereas general logic is concerned merely with constitutive rules of inference, transcendental logic is concerned with regulative rules ...

The article describes the system of methods of investigating crimes as a well-established form in the history of criminalistics. The success of the investigation of crimes depends on a comprehensive, objective examination of the circumstances of crimes, and on the correct choice of the mechanisms for proving the person's guilt. All these elements ...

The authors describe the impact of administrative reforms on the electoral volatility in the Warmia and Mazury voivodeship of Poland. The administrative reforms resulted in the formation of a new territorial organization of power. Using three large administrative units of Poland as an example, the authors analyse the experience of the formation of a geographic region by merging several politically diverse territories. The merger took place in a changing political environment. It inevitably affected...

This article shows that the opposition between formal and dialectical logic first emerged within Hegel’s dialectical logic. The article shows that in the framework of the division of time into «now» and «not now», the incorrect formal logical description of dialectical opposition disappears. The author comes to a generalised conclusion: the rejection of language description of dialectical opposition as a true conjunctive proposition of the A ¬A type marks the end of opposition between formal and...

The present-day stage of scientific knowledge is characterized by a shift of research aims in different scientific spheres to the cognitive aspects of linguistic phenomena. The cognitive approach to research on word-formation processes is supported by many linguists; however, still being insufficiently developed, it requires a systematization of new methodological tools. The author presents her own vision of the methodological and theoretical framework of cognitive word formation studies. 1. Абросимова...

The article is devoted to derivative forms of personal names in the Swedish tradition of giving names to individuals. The research is focused on explaining the following terms: short name, short form of a name, ‘pet name’, and diminutive form. Syncopation and affixal derivation are considered ...

This is the fth paper of a series of papers that will give a survey on several topics on formal languages and automata by using semirings, formal power series, matrices and xed point theory. The fth paper of this series deals with the basic results in the theory of nite automata over quemirings generalizing the classical nite automata accepting nite and innite words. The presentation of these results is based on semiring-semimodule pairs, especially on Conway semiring-semimodule pairs. A Conway...

This article defines the way of interaction between formal and transcendental logic through introducing ontological considerations based on P. Strawson's descriptive metaphysics. The notions of a particular, a sortal universal, and a feature universal are introduced into the transcendental limitation on the inferences of formal logic. 1. Аристотель. Категории // Аристотель. Соч.: в 4 т. М., 1978. Т. 2. С. 53—90. 2. Брюшинкин В. Н. Взаимодействие формальной и трансцендентальной логики // Кантовский...