RO EN
A completeness criterion for expressibility in a four-valued extension of provability logic. (Romanian)
Authors: Rusu Andrei
Abstract
The necessary and sufficient conditions for a system of formulas to be complete as to expressibility in the 4-valued extension of the provability logic of propositions are shown in the article.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
- Boundary behavior of normal holomorphic functions of several complex variables. (English)
- One class of topologically simple pronoetherian rings. (English)
- Distal n-fans extensions of minimal topological transformation semigroups. (English)
- About signs of Moufang loop translations. (English)
- Applications of the extremal word to research of infinite dimensional nil algebras. (English)
- Reducibility of completely integrable linear quasiperiodic systems of triangular form. (Russian)
- On D-groupoids, quasigroups and homomorphisms. (English)
- Methods for deriving middle groups of $W$-symmetry. (Russian)
- Determination of the tree of minimax paths in a weighted digraph. (Russian)
- Some properties of the group $lG$. (Romanian)
- A complete algebraic basis of centro-affine invariants of a differential system with fourth-order homogeneous right-hand sides. (Russian)
- On the types of the singular points of quadratic system with one double and one simple real points. (English)
- Two-dimensional linear groups of hypercrystallographic $P$-symmetries and their multidimensional applications. (Russian)
- A completeness criterion for expressibility in a four-valued extension of provability logic. (Romanian)
- Affine invariant conditions for repartition of multiplicity between 2 real and 2 imaginary infinite singular points of cubic differential system. (English)
- On premaximal topologies on vector spaces. (Russian)
- Essentially left Artinian rings and the co-atomicity of a lattice of pretorsions. (Russian)
