I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
2000, VOLUME 6, NUMBER 4, PAGES 1155-1191
M. V. Patlasov
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|
Last modified: February 13, 2001