Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
Algebra i Logika (1993)
- Volume: 32, Issue: 2, page 117-130
- ISSN: 0373-9252
Access Full Article
topHow to cite
topБабенышев, С.В.. "Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz." Algebra i Logika 32.2 (1993): 117-130. <http://eudml.org/doc/187638>.
@article{Бабенышев1993,
author = {Бабенышев, С.В.},
journal = {Algebra i Logika},
keywords = {modal logics; S4.2; S4.2Grz; admissible rules; S4.2; S4.2Grz},
language = {rus},
number = {2},
pages = {117-130},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz},
url = {http://eudml.org/doc/187638},
volume = {32},
year = {1993},
}
TY - JOUR
AU - Бабенышев, С.В.
TI - Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
JO - Algebra i Logika
PY - 1993
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 32
IS - 2
SP - 117
EP - 130
LA - rus
KW - modal logics; S4.2; S4.2Grz; admissible rules; S4.2; S4.2Grz
UR - http://eudml.org/doc/187638
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.