Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 3, pp. 49-58
Voir la notice de l'article provenant de la source Math-Net.Ru
In the given work the algorithms allowing to carry out automatic recognition of tabular and pretabular properties at superintuitionistic and positive propositional logics and programs realizing these algorithms are described.
@article{VNGU_2006_6_3_a3,
author = {L. L. Maksimova and P. A. Schreiner},
title = {Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {49--58},
publisher = {mathdoc},
volume = {6},
number = {3},
year = {2006},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/}
}
TY - JOUR AU - L. L. Maksimova AU - P. A. Schreiner TI - Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus JO - Sibirskij žurnal čistoj i prikladnoj matematiki PY - 2006 SP - 49 EP - 58 VL - 6 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/ LA - ru ID - VNGU_2006_6_3_a3 ER -
%0 Journal Article %A L. L. Maksimova %A P. A. Schreiner %T Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus %J Sibirskij žurnal čistoj i prikladnoj matematiki %D 2006 %P 49-58 %V 6 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/ %G ru %F VNGU_2006_6_3_a3
L. L. Maksimova; P. A. Schreiner. Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 3, pp. 49-58. http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/