RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
1969, Volume 16
|
General information
|
Contents
|
Studies in constructive mathematics and mathematical logic. Part III
Nikolai Aleksandrovich Shanin (photo)
From the authors
7
A computer algorithm for establishing deducibility, based on the inverse method
G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, A. O. Slisenko
8
On constructive pseudofunctions
M. G. Gelfond
20
Nets of marks and deducibility in intuitionistic propositional calculus
Ya. Ya. Golota
28
Some ways simplifying the constructing of the nets of marks
Ya. Ya. Golota
44
On a class of strategies for the resolution method
N. K. Zamov, V. I. Sharonov
54
On Shannon's pseudofunctions
I. D. Zaslavsky
65
On estimations of the complexity of bounded halting problem
M. I. Kanovitch
77
On an estimation of the complexity of some algorithmic problems of analysis
M. I. Kanovitch, B. A. Kushner
81
Nesessary and sufficient conditions for a probability space to have Specker properties
N. K. Kossovski
91
Intergrable
$FR$
-constructs over a probability space
N. K. Kossovski
97
The laws of large numbers in constructive probability theory
N. K. Kossovski
105
On the set of zeroes of constructive power series in a real variable
V. A. Lifshits
114
Deduction search tactics based on a specialization of the order of members in favourable sets
S. Yu. Maslov
126
A connection between tactics of the inverse method and the resolution method
S. Yu. Maslov
137
On semantics of modal logic
G. E. Mints
147
On non-lengthening applications of equality rules
V. P. Orevkov
152
Some properties of homeomorphisms of constructive metric spaces
V. P. Orevkov
157
Two theorems on the complexity of algorithms and computations
N. V. Petri
165
Elimination of cut-type rules in axiomatic systems with equality
A. Y. Plushkevichene
175
Correction
Corrections to the volume “Studies in constructive mathematics and mathematical logic. II”. 1968
185
©
Steklov Math. Inst. of RAS
, 2025