In this article, the author explores means of realizing ideological function state, he also gives definition term and mentions specific names such means: propaganda, monitoring feedback, censorship, etc. The comes to conclusion that, unlike methods, implementing state are inexhaustible changeable. Over time, new tools appear, it depends on external circumstances needs at a particular stage deve...

We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike λ-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names are introduced for hypotheses. We show that despite its nondeterminism, this scheme-calculus has the same expressivity as the corresponding typed λ-calculus.

Abstract The categorisation of minerals and their related names, such as synonyms, obsolete or historical varieties mixtures, is an asset for designing interoperable consistent mineralogical data warehouse. An enormous amount this data, provided by mindat.org other resources, was reviewed analysed during the research. analysis indicates existence several categories (1) abstract titles designati...