RO EN
Conditions of completeness in a family of extensions of a duality-intuitionistic logic. (Russian)
Authors: Gkhaliekh Ya. N.
Abstract
The criterion of completeness relative expressibility in the 5-valued non chain-extension of duality intuitioniste logic is generalized. The problem of completeness for logic of the successive sum of the 5-valued distributive latice with any finite or infinite chain of truth valueds is solved.Institutul de Matematică Academia de Ştiinţe a Moldovei
str. Academiei 5, Chişinău MD-2028, Moldova
str. Academiei 5, Chişinău MD-2028, Moldova
Contents
- The problem of determination of multiregular tilings of space. (Russian)
- Isogonal strata tessellations of the Lobachevsky space. (Russian)
- Totally symmetric $n$-ary loops. (Russian)
- Conditions of completeness in a family of extensions of a duality-intuitionistic logic. (Russian)
- Analysis of the condition ${\germ A}(k)$ for four-dimensional systems of differential equations. II. (Russian)
- Solvability of linear parabolic boundary value problems in anisotropic spaces ${\cal H}\sb p\sp s, (s\in R)$ of Bessel potentials. (Russian)
- The uniform estimates for solutions of nonstrictly hyperbolic equation of second order with large parameter. (English)
- Conditions of presence of four integral straight lines for a cubic differential system in the case of a center or focus. (Russian)
- Numerical investigation of the process of dynamic action on a layered obstacle. (Russian)
- Impact of a viscoelastic rod upon a heated obstacle. (Russian)
- Exact shifts of the constraints in methods of centres. (English)
- Impact of an elastic rod of a finite length upon a compliant obstacle. I. (Russian)
- Some results for a priority discipline DD with non-zero switching. (English)
- Multiplicative system of functions corresponding to the group $C\sb 2 \times \Gamma$. (English)
