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/k00414h.htm

Last modified: February 13, 2001