Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр
Algebra i Logika (1977)
- Volume: 16, Issue: 6, page 643-681
- ISSN: 0373-9252
Access Full Article
topHow to cite
topМаксимова, Л.Л.. "Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр." Algebra i Logika 16.6 (1977): 643-681. <http://eudml.org/doc/186991>.
@article{Максимова1977,
author = {Максимова, Л.Л.},
journal = {Algebra i Logika},
keywords = {Craig's interpolation theorem; superintuitionistic logics; decision- problem; amalgamable varieties of pseudoboolean algebras; implicative lattices},
language = {rus},
number = {6},
pages = {643-681},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр},
url = {http://eudml.org/doc/186991},
volume = {16},
year = {1977},
}
TY - JOUR
AU - Максимова, Л.Л.
TI - Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр
JO - Algebra i Logika
PY - 1977
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 16
IS - 6
SP - 643
EP - 681
LA - rus
KW - Craig's interpolation theorem; superintuitionistic logics; decision- problem; amalgamable varieties of pseudoboolean algebras; implicative lattices
UR - http://eudml.org/doc/186991
ER -
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.