Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
Algebra i Logika (1992)
- Volume: 31, Issue: 4, page 341-359
- ISSN: 0373-9252
Access Full Article
top
How to cite
topБабенышев, С.В.. "Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС." Algebra i Logika 31.4 (1992): 341-359. <http://eudml.org/doc/187614>.
@article{Бабенышев1992,
author = {Бабенышев, С.В.},
journal = {Algebra i Logika},
keywords = {admissibility problem; superintuitionistic logic; Kuznetsov-Friedman problem; decidability; Weak Law of Excluded Middle; modal companion; algorithms},
language = {rus},
number = {4},
pages = {341-359},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС},
url = {http://eudml.org/doc/187614},
volume = {31},
year = {1992},
}
TY - JOUR
AU - Бабенышев, С.В.
TI - Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
JO - Algebra i Logika
PY - 1992
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 31
IS - 4
SP - 341
EP - 359
LA - rus
KW - admissibility problem; superintuitionistic logic; Kuznetsov-Friedman problem; decidability; Weak Law of Excluded Middle; modal companion; algorithms
UR - http://eudml.org/doc/187614
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.