An Axiomatization of Quantum Computational Logic

An Axiomatization of Quantum Computational Logi

Kantians Motives in Intuitionistic Logic

Kantians Motives in Intuitionistic Logi

A new axiomatization of Jaśkowski's discussive logic

In 1995 N.C.A. da Costa and F. Doria proposed the modal-type elegant axiomatization of Jaśkowski’s discussive logic D2 . Yet his own problem which was formulated in 1975 in a following way: Is it possible to formulate natural and simple axiomatization for D2 , employing classical disjunction and conjunction along with discussive implication and conjunction as the only primitive connectives? — still seems left open. The matter of fact is there are some axiomatizations of D2 proposed, e.g., by T. Furmanowski (1975), J. Kotas and N.C.A. da Costa (1979), G. Achtelik, L. Dubikajtus, E. Dudek and J. Konior (1981), satisfying da Costa’s conditions, but they are rather looking very complicated and unnatural. An attempt is made to solve da Costa’s problem. The new axiomatization of D 2 is proposed essentially based on da Costa’s-Doria axiomatization from 1995

Investigation and Seizure of Electronic Media in the Production of Investigative Actions

[Purpose] This article is devoted to the study of the problem of authorization of the removal of electronic media according to Russian Criminal Procedure Code. [Methodology] The methodological basis of this study is a set of methods of scientific knowledge, among which the main place is taken by the methods of historicism, consistency, analysis and comparative law.  The authors’ position is based on the legislation and opinions of the competent scientific environment on the need to use special knowledge in the investigation and seizure (copying) of electronic information relevant to the criminal case. [Findings] Based on a legal analysis of the rules of criminal procedure authors argue the necessity to use specialists in the field of information and communication technologies in inspections, searches, and seizures. The systematization of rules-exceptions that must be observed by investigators during inspections, searches, and seizures is carried out. The questions of the evidentiary value of the results of electronic withdrawal are raised.[Purpose] This article is devoted to the study of the problem of authorization of the removal of electronic media according to Russian Criminal Procedure Code. [Methodology] The methodological basis of this study is a set of methods of scientific knowledge, among which the main place is taken by the methods of historicism, consistency, analysis and comparative law.  The authors’ position is based on the legislation and opinions of the competent scientific environment on the need to use special knowledge in the investigation and seizure (copying) of electronic information relevant to the criminal case. [Findings] Based on a legal analysis of the rules of criminal procedure authors argue the necessity to use specialists in the field of information and communication technologies in inspections, searches, and seizures. The systematization of rules-exceptions that must be observed by investigators during inspections, searches, and seizures is carried out. The questions of the evidentiary value of the results of electronic withdrawal are raised.[Purpose] This article is devoted to the study of the problem of authorization of the removal of electronic media according to Russian Criminal Procedure Code. [Methodology] The methodological basis of this study is a set of methods of scientific knowledge, among which the main place is taken by the methods of historicism, consistency, analysis and comparative law.  The authors’ position is based on the legislation and opinions of the competent scientific environment on the need to use special knowledge in the investigation and seizure (copying) of electronic information relevant to the criminal case. [Findings] Based on a legal analysis of the rules of criminal procedure authors argue the necessity to use specialists in the field of information and communication technologies in inspections, searches, and seizures. The systematization of rules-exceptions that must be observed by investigators during inspections, searches, and seizures is carried out. The questions of the evidentiary value of the results of electronic withdrawal are raised.[Purpose] This article is devoted to the study of the problem of authorization of the removal of electronic media according to Russian Criminal Procedure Code. [Methodology] The methodological basis of this study is a set of methods of scientific knowledge, among which the main place is taken by the methods of historicism, consistency, analysis and comparative law.  The authors’ position is based on the legislation and opinions of the competent scientific environment on the need to use special knowledge in the investigation and seizure (copying) of electronic information relevant to the criminal case. [Findings] Based on a legal analysis of the rules of criminal procedure authors argue the necessity to use specialists in the field of information and communication technologies in inspections, searches, and seizures. The systematization of rules-exceptions that must be observed by investigators during inspections, searches, and seizures is carried out. The questions of the evidentiary value of the results of electronic withdrawal are raised

OPPORTUNITIES FOR USING DIGITAL DATA IN EVIDENCE FOR CRIMINAL CASES

The purpose of the study is to determine the reasons that hinder the development of digital elements in evidence in criminal proceedings and detect opportunities for their broader introduction. The authors investigate the current status of the introduction of elements of digitalization in the handling of evidence in criminal proceedings in the Russian Federation. The study explores the positive experience of countries that have greatly succeeded in the promotion of digital data in the handling of evidence and the evidentiary process. The authors disclose opportunities to extrapolate positive international experience in the digitalization of the evidentiary sphere to the Russian judicial system. It is concluded that the traditional formalization of criminal proceedings, including the evidentiary process, is greatly complicating the introduction of digital technology today. In particular, specific legal solutions are proposed to allow for the digitalization of the evidentiary proces

Two History Cases of Innovations

In late 1970s and through 1980s the Soviet Government and the Communist Party encouraged engineers and scientists to develop innovations, to implement them in order to optimize and to increase the effectiveness of the national economy. “The economy must be economical” was the slogan of this policy. The R@D programs were well funded by the State. The paper describes two failures, linked up with implementation of cost-saving innovations: explosion of a 10,000 m3 liquid ammonia storage tank, and failure of a raft footing on largely spaced piles

Combined Paraconsistent Logics and their (Co)Exponentials

Combined logics of sentences and events consist of two parts: the external logic depending on epistemological assumptions and the internal logic depending on ontological ones. They were introduced by V.A. Smirnov following some G. Frege's and N. Vasiliev's ideas. An analysis of the structure of combined logics shows that, in fact, they employs the links between two logical systems postulating in the role of ontological part algebras which serve as the models of respective logics. It prompts us to consider systems which describe the direct interplay of two logics on syntactic level where we have an access to these logics without mediation of their models. In the role of those systems might be used the so-called coexponential and exponential ones which were introduced in [15]. In the paper the case of two paraconsistent combined logics (having paraconsistent algebras as their ontological part) is considered