Geodesic
Propositional formulas closed in the~minimal calculus
Fundamentalʹnaâ i prikladnaâ matematika, Tome 6 (2000) no. 4, pp. 1155-1191.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{FPM_2000_6_4_a13,
     author = {M. V. Patlasov},
     title = {Propositional formulas closed in the~minimal calculus},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {1155--1191},
     publisher = {mathdoc},
     volume = {6},
     number = {4},
     year = {2000},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_2000_6_4_a13/}
}
TY  - JOUR
AU  - M. V. Patlasov
TI  - Propositional formulas closed in the~minimal calculus
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2000
SP  - 1155
EP  - 1191
VL  - 6
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_2000_6_4_a13/
LA  - ru
ID  - FPM_2000_6_4_a13
ER  - 
%0 Journal Article
%A M. V. Patlasov
%T Propositional formulas closed in the~minimal calculus
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2000
%P 1155-1191
%V 6
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2000_6_4_a13/
%G ru
%F FPM_2000_6_4_a13
M. V. Patlasov. Propositional formulas closed in the~minimal calculus. Fundamentalʹnaâ i prikladnaâ matematika, Tome 6 (2000) no. 4, pp. 1155-1191. http://geodesic.mathdoc.fr/item/FPM_2000_6_4_a13/