Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Modeling classical logic in a 3-valued extension of provability-intuitionistic logic. (Russian)
Authors: Kovalzhiu O. I.
Contents
- Dissipativity of differential equations with impulses. (Russian)
- Modeling classical logic in a 3-valued extension of provability-intuitionistic logic. (Russian)
- The absence of eigenvalues for operators that are close to operators generated by infinite-dimensional Jacobi matrices. (Russian)
- Maximin linear problems with connected variables and their applications to the study and solution of cyclic games. (Russian)
- Premises for the creation of an expert system for the planing of the agricultural machinary and machine-operators work. (Russian)
- On the structure of the Levinson center of a dissipative dynamical system with a condition for hyperbolicity on the closure of a set of recurrent motions. (Russian)
- The dimension of remainders of Stone-Cech compactifications of metrizable spaces. (Russian)
- Strengthening the topologies of compact rings. (Russian)
- Ideals relative to a right ideal P, and C-identities for $C\approx R/P$. (Russian)
- m-semi-Abelian n-ary groups. (Russian)
- Some remarks on countably compact Boolean rings. (Russian)
- n-ary Cauchy kernels. (Russian)
