Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 208-219
Citer cet article
Yu. N. Tolstova. On some weakening of intuitionistic logic. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 208-219. http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a19/
@article{ZNSL_1971_20_a19,
author = {Yu. N. Tolstova},
title = {On some weakening of intuitionistic logic},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {208--219},
year = {1971},
volume = {20},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a19/}
}
TY - JOUR
AU - Yu. N. Tolstova
TI - On some weakening of intuitionistic logic
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1971
SP - 208
EP - 219
VL - 20
UR - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a19/
LA - ru
ID - ZNSL_1971_20_a19
ER -
%0 Journal Article
%A Yu. N. Tolstova
%T On some weakening of intuitionistic logic
%J Zapiski Nauchnykh Seminarov POMI
%D 1971
%P 208-219
%V 20
%U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a19/
%G ru
%F ZNSL_1971_20_a19
There is considered calculus $K$ obtained from the intuitionistic propositional calculus by means of replacing the axiom $(p\supset q)\supset((p\supset r)\supset(p\supset q\&r))$ by the rule: $F\supset G$, $F\supset H\vdash F\supset(G\&H)$.
