One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.
In article principles on which construction of effective institute of bankruptcy should be based are formulated. Lacks of the Russian system of regulation of an inconsistency are defined. The series of measures on its modernization, called to provide minimization of social and economic costs in an insolvency situation is offered.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.