This work was intended to be an attempt to introduce the metalanguage for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.

so we are able to obtain a direct access to the field which our instructor works on; the second is that it focuses more on mathematical theory and simulation of the process of designing, something that the previous papers about the concept of database rarely mention. I learn much from reading this paper, including the algebraic theory, technique for simulation, and the application of the method...

Nowadays, in order for a company to remain competitive, efficient and attractive investors it needs have reliable threat-resistant business processes. The question of methods building such processes remains relevant. This paper proposes software system, which involves the use tools DSM (Domain Specific Modeling), ontological approach, simulation modeling methods, mass service theory, Petri nets...

This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed intermediate language MIL. We implement and measure the performance of normalisation by evaluation for MIL across a range of benchmarks. Taking a different approach, we also i...

Abstract Rudolf Carnap’s principle of tolerance states that there is no need to justify the adoption a logic by philosophical means. Carnap uses freedom provided this in his philosophy mathematics: he wants capture idea mathematical truth matter linguistic rules relying on strong metalanguage with infinitary inference rules. In paper, I give new interpretation an argument E. W. Beth, which show...