Inference rules with metavariables and logical equations in the pretabular modal logic PM1.

Kiyatkin, V.R.. "Inference rules with metavariables and logical equations in the pretabular modal logic PM1.." Siberian Mathematical Journal 41.1 (2000): 88-97 (2000); translation in Sib. Math. J. 41. <http://eudml.org/doc/121134>.

@article{Kiyatkin2000,
author = {Kiyatkin, V.R.},
journal = {Siberian Mathematical Journal},
keywords = {modal logic; inference rule; admissible reference rule},
language = {eng},
number = {1},
pages = {88-97 (2000); translation in Sib. Math. J. 41},
publisher = {Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer},
title = {Inference rules with metavariables and logical equations in the pretabular modal logic PM1.},
url = {http://eudml.org/doc/121134},
volume = {41},
year = {2000},
}

TY - JOUR
AU - Kiyatkin, V.R.
TI - Inference rules with metavariables and logical equations in the pretabular modal logic PM1.
JO - Siberian Mathematical Journal
PY - 2000
PB - Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer
VL - 41
IS - 1
SP - 88
EP - 97 (2000); translation in Sib. Math. J. 41
LA - eng
KW - modal logic; inference rule; admissible reference rule
UR - http://eudml.org/doc/121134
ER -