FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2000, VOLUME 6, NUMBER 4, PAGES 1155-1191

Propositional formulas closed in the minimal calculus

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.

Location: http://mech.math.msu.su/~fpm/eng/k00/k004/k00414h.htm
Last modified: February 13, 2001