Geodesic

Logical and logical-mathematical calculus. Part I

Sommaire

Preface
p. 3-4
Specialization of the form of deduction in the precicate calculus with equality and function symbols.~I
p. 5-25
The inverse method for establishing deducibility for logical calculi
p. 26-87
Some calculi of modal logic
p. 88-111
The construction of conservative logical inferences
p. 112-120
Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors
p. 121-130
On Glivenko sequent classes
p. 131-154
A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
p. 155-202
Errata