Базисы допустимых правил вывода табличных модальных логик глубины 2.
В.В. Римацкий; V. V. Rimackij; V. V. Rimackij; V. V. Rimackij
Algebra i Logika (1996)
- Volume: 35, Issue: 5, page 612-622
- ISSN: 0373-9252
Access Full Article
topHow to cite
topРимацкий, В.В., et al. "Базисы допустимых правил вывода табличных модальных логик глубины 2.." Algebra i Logika 35.5 (1996): 612-622. <http://eudml.org/doc/187791>.
@article{Римацкий1996,
author = {Римацкий, В.В., Rimackij, V. V., Rimackij, V. V., Rimackij, V. V.},
journal = {Algebra i Logika},
keywords = {modal algebras; bases of quasi-identities; tabular modal logic; finite basis of admissible inference rules},
language = {rus},
number = {5},
pages = {612-622},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Базисы допустимых правил вывода табличных модальных логик глубины 2.},
url = {http://eudml.org/doc/187791},
volume = {35},
year = {1996},
}
TY - JOUR
AU - Римацкий, В.В.
AU - Rimackij, V. V.
AU - Rimackij, V. V.
AU - Rimackij, V. V.
TI - Базисы допустимых правил вывода табличных модальных логик глубины 2.
JO - Algebra i Logika
PY - 1996
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 35
IS - 5
SP - 612
EP - 622
LA - rus
KW - modal algebras; bases of quasi-identities; tabular modal logic; finite basis of admissible inference rules
UR - http://eudml.org/doc/187791
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.