FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
2000, VOLUME 6, NUMBER 4, PAGES 1155-1191
M. V. Patlasov
Abstract
View as HTML
View as gif image
View as LaTeX source
The notion of diagnostic propositional formula was introduced by Uspenski
as a generalization of the well-known Kolmogorov's result
on interconnection
between intuitionistic and classical logics. In the present paper, all
calculi having diagnostic formulas relative to the minimal calculus are
found. By means of the Kripke model technique developed here new proofs
of some known results are obtained.
All articles are published in Russian.
Main page | Contents of the journal | News | Search |
Location: http://mech.math.msu.su/~fpm/eng/k00/k004/k00414t.htm
Last modified: February 13, 2001