Geodesic
Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus
Izvestiya. Mathematics, Tome 37 (1991) no. 3, pp. 693-703 
V. V. Rybakov. Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus. Izvestiya. Mathematics, Tome 37 (1991) no. 3, pp. 693-703. http://geodesic.mathdoc.fr/item/IM2_1991_37_3_a11/
@article{IM2_1991_37_3_a11,
     author = {V. V. Rybakov},
     title = {Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus},
     journal = {Izvestiya. Mathematics},
     pages = {693--703},
     year = {1991},
     volume = {37},
     number = {3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_1991_37_3_a11/}
}
TY  - JOUR
AU  - V. V. Rybakov
TI  - Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus
JO  - Izvestiya. Mathematics
PY  - 1991
SP  - 693
EP  - 703
VL  - 37
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/IM2_1991_37_3_a11/
LA  - en
ID  - IM2_1991_37_3_a11
ER  - 
%0 Journal Article
%A V. V. Rybakov
%T Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus
%J Izvestiya. Mathematics
%D 1991
%P 693-703
%V 37
%N 3
%U http://geodesic.mathdoc.fr/item/IM2_1991_37_3_a11/
%G en
%F IM2_1991_37_3_a11

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

The author studies the problem of recognizing admissibility of rules of inference of a general form – rules of inference with parameters – in the intuitionistic propositional calculus. Algorithmic and semantic criteria are found for recognizing admissibility of such rules, based on special intuitionistic Kripke models. In particular, Friedman's problem generalized to rules of inference with parameters is solved. These results are applied to recognizing the solvability of logical equations and constructing their solutions.

[1] Mints G. E., “Proizvodnost dopustimykh pravil”, Zap. nauch. semin. LOMI AN SSSR, 32, 1972, 85–89 | MR

[2] Rybakov V. V., “Kriterii dopustimosti pravil vyvoda v modalnoi sisteme $S4$ i intuitsionistskoi logike”, Algebra i logika, 23:5 (1984), 546–572 | MR | Zbl

[3] Rybakov V. V., “Razreshimost po dopustimosti modalnoi sistemy $\operatorname{Grz}$ i intuitsionistskoi logiki”, Izv. AN SSSR. Ser. matem., 50:3 (1986), 598–616 | MR

[4] Rybakov V. V., “Uravneniya v svobodnoi topobulevoi algebre”, Algebra i logika, 25:2 (1986), 172–204 | MR | Zbl

[5] Rybakov V. V., “Elementarnye teorii svobodnykh topobulevykh i psevdobulevykh algebr”, Matem. zametki, 37:6 (1985), 797–802 | MR | Zbl

[6] Tsitkin A. I., “O dopustimykh pravilakh intuitsionistskoi logiki vyskazyvanii”, Matem. sb., 102(144) (1977), 314–323 | Zbl

[7] Shekhtman V. B., “Lestnitsy Rigera–Nishimury”, Dokl. AN SSSR, 241 (1978), 1288–129 | MR

[8] Shyutte K., “Polnye sistemy modalnoi i intuitsionistskoi logiki”, Modalnaya logika, Nauka, M., 1974, 324–421

[9] Logicheskaya tetrad. Nereshennye voprosy matematicheskoi logiki, IM SO AN SSSR, Novosibirsk, 1986

[10] Friedman H., “One hundret and two problems in mathematical logic”, J. of Symbolic Logic, 40:3 (1975), 113–130 | DOI | MR