Допустимые правила предтабличных модальных логик
Algebra i Logika (1981)
- Volume: 20, Issue: 4, page 440-464
- ISSN: 0373-9252
Access Full Article
top
How to cite
topРыбаков, В.В.. "Допустимые правила предтабличных модальных логик." Algebra i Logika 20.4 (1981): 440-464. <http://eudml.org/doc/187146>.
@article{Рыбаков1981,
author = {Рыбаков, В.В.},
journal = {Algebra i Logika},
keywords = {derivable rules; provability; extensions of S4; superintuitionistic logics; decidability of the universal theory; Lindenbaum algebras; tabular logics; pretabular intuitionistic logics},
language = {rus},
number = {4},
pages = {440-464},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Допустимые правила предтабличных модальных логик},
url = {http://eudml.org/doc/187146},
volume = {20},
year = {1981},
}
TY - JOUR
AU - Рыбаков, В.В.
TI - Допустимые правила предтабличных модальных логик
JO - Algebra i Logika
PY - 1981
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 20
IS - 4
SP - 440
EP - 464
LA - rus
KW - derivable rules; provability; extensions of S4; superintuitionistic logics; decidability of the universal theory; Lindenbaum algebras; tabular logics; pretabular intuitionistic logics
UR - http://eudml.org/doc/187146
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.